use multi-ary and/or in ModuleToKore

runtimeverification · Oct 12, 2023 · a5978ff · a5978ff
1 parent 7010152
commit a5978ff
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kernel/src/main/java/org/kframework/backend/kore/ModuleToKORE.java b/kernel/src/main/java/org/kframework/backend/kore/ModuleToKORE.java
@@ -713,7 +713,7 @@ private void genNoJunkAxiom(Sort sort, StringBuilder sb) {
         sbTemp.append("  axiom{} ");
         boolean hasToken = false;
         int numTerms = 0;
-        sbTemp.append("\\right-assoc{}(\\or{");
+        sbTemp.append("\\or{");
         convert(sort, sbTemp);
         sbTemp.append("} (");
         for (Production prod : iterable(mutable(module.productionsForSort()).getOrDefault(sort.head(), Set()).toSeq().sorted(Production.ord()))) {
@@ -776,7 +776,7 @@ private void genNoJunkAxiom(Sort sort, StringBuilder sb) {
         }
         sbTemp.append("\\bottom{");
         convert(sort, sbTemp);
-        sbTemp.append("}())) [constructor{}()] // no junk");
+        sbTemp.append("}()) [constructor{}()] // no junk");
         if (hasToken && !METAVAR) {
             sbTemp.append(" (TODO: fix bug with \\dv)");
         }