[PLE] Don't simplify Z3Nodes waiting for feedback on Z3Prover/z3#7179

shingarov · May 5, 2024 · 30aebb1 · 30aebb1
1 parent b3cc126
commit 30aebb1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/PLE/Z3Node.extension.st b/src/PLE/Z3Node.extension.st
@@ -93,7 +93,7 @@ notGuardedApps :: Expr -> [Expr]
 
 { #category : #'*PLE' }
 Z3Node >> simplify: γ in: ictx [
-	^[ :x | (x simplifyStep: γ in: ictx) simplify ] fix: self
+	^[ :x | (x simplifyStep: γ in: ictx) "simplify" ] fix: self
 ]
 
 { #category : #'*PLE' }

diff --git a/src/Z3/Z3Node.class.st b/src/Z3/Z3Node.class.st
@@ -200,7 +200,7 @@ Z3Node >> inEnvironment: aDictionary [
 			to   add:(var coerce: val).
 		]
 	].
-	^(self substituteAll: from withoutNils with: to withoutNils) simplify
+	^(self substituteAll: from withoutNils with: to withoutNils) "simplify"
 ]
 
 { #category : #'term rewriting' }