java-backend: improve smt query log formatting (#1248)

runtimeverification · May 2, 2020 · 3bfd4f8 · 3bfd4f8
1 parent a235afa
commit 3bfd4f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoSMTLib.java b/java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoSMTLib.java
@@ -464,7 +464,7 @@ public SMTLibTerm transform(ConjunctiveFormula constraint) {
             try {
                 CharSequence left = translateTerm(equality.leftHandSide());
                 CharSequence right = translateTerm(equality.rightHandSide());
-                sb.append("\n\t(= ");
+                sb.append("\n    (= ");
                 sb.append(left);
                 sb.append(" ");
                 sb.append(right);
@@ -483,7 +483,7 @@ public SMTLibTerm transform(ConjunctiveFormula constraint) {
         if (isEmptyAdd) {
             sb.append(" true");
         }
-        sb.append(")");
+        sb.append("\n  )");
         return new SMTLibTerm(sb);
     }