Do not create comparison result when not needed

JetBrains · May 7, 2024 · b3cb899 · b3cb899
1 parent bfacd52
commit b3cb899
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java b/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java
@@ -211,7 +211,7 @@ public boolean nonNormalizingCompare(Expression expr1, Expression expr2, Express
   }
 
   private boolean initResult(Expression expr1, Expression expr2) {
-    if (myNormalCompare && myResult == null) {
+    if (myNormalCompare && myResult == null && !myOnlySolveVars) {
       expr1 = expr1.copyStrict();
       expr2 = expr2.copyStrict();
       myResult = new Result(expr1, expr2, expr1, expr2);