From 5392b8f93a07320c5c92845aeb7f22e33eb0d3ee Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 4 Feb 2021 22:46:23 +0100
Subject: [PATCH] rename preprocessor

---
 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 c92c49d..3f7d9b8 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("Navigation Attribute Generator", true);
+    super("Abstract Type Navigation Generator", true);
   }
 
   public static void main(String[] args) {
-- 
GitLab