From b3cb8992d9219390537f885b4ee026f694d1f770 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Tue, 7 May 2024 18:22:31 +0300
Subject: [PATCH] Do not create comparison result when not needed

---
 .../main/java/org/arend/core/expr/visitor/CompareVisitor.java   | 2 +-
 1 file changed, 1 insertion(+), 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
index 0d7e6b3a8..f3b532d4f 100644
--- 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);