From bde626d1db02dc2619d0509dea531261af24a624 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Thu, 24 Aug 2023 13:09:19 -0500
Subject: [PATCH] Make no junk right associative

---
 .../src/main/java/org/kframework/backend/kore/ModuleToKORE.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/src/main/java/org/kframework/backend/kore/ModuleToKORE.java b/kernel/src/main/java/org/kframework/backend/kore/ModuleToKORE.java
index db1f71f3b61..10fa815fecb 100644
--- 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("\\left-assoc{}(\\or{");
+        sbTemp.append("\\right-assoc{}(\\or{");
         convert(sort, sbTemp);
         sbTemp.append("} (");
         for (Production prod : iterable(mutable(module.productionsForSort()).getOrDefault(sort.head(), Set()).toSeq().sorted(Production.ord()))) {