From 15f30312d1292050ad233efc6596ac37dbde7b85 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Fri, 5 Feb 2021 00:59:20 +0100 Subject: [PATCH] remove jastadd-compliance mode --- src/main/java/org/jastadd/preprocessor/Main.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/jastadd/preprocessor/Main.java b/src/main/java/org/jastadd/preprocessor/Main.java index 3f7d9b8..638ac9d 100644 --- a/src/main/java/org/jastadd/preprocessor/Main.java +++ b/src/main/java/org/jastadd/preprocessor/Main.java @@ -23,7 +23,7 @@ public class Main extends org.jastadd.relast.compiler.RelAstProcessor { protected BooleanOption optionPrintYaml; public Main() { - super("Abstract Type Navigation Generator", true); + super("Abstract Type Navigation Generator", false); } public static void main(String[] args) { -- GitLab