Replace "kale" with "skala" as an argument to --backend

kframework · Aug 17, 2017 · fa379b4 · fa379b4
1 parent 2a86a8b
commit fa379b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/src/main/java/org/kframework/kompile/KompileOptions.java b/kernel/src/main/java/org/kframework/kompile/KompileOptions.java
@@ -26,7 +26,7 @@ public class KompileOptions implements Serializable {
     public OuterParsingOptions outerParsing = new OuterParsingOptions();
 
     // Common options
-    @Parameter(names="--backend", description="Choose a backend. <backend> is one of [coq|java|kale]. Each creates the kompiled K definition.")
+    @Parameter(names="--backend", description="Choose a backend. <backend> is one of [coq|java|skala]. Each creates the kompiled K definition.")
     public String backend = Backends.JAVA;
 
     @Parameter(names="--doc-style", description="Specify a style option for the package 'k.sty' (when '--backend [pdf|latex]' is used) or path to an alternative .css file (when '--backend html' is used).")