FIX IDIOTIC MISTAKE, SQUASH

shingarov · Oct 13, 2024 · e6cef49 · e6cef49
1 parent 47e4476
commit e6cef49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Refinements/Z3Node.extension.st b/src/Refinements/Z3Node.extension.st
@@ -21,7 +21,7 @@ Z3Node >> kvarsExpr [
 ]
 
 { #category : #'*Refinements' }
-Z3Node >> smt2Cast: aZ3Sort in: _ [
+Z3Node >> smt2Cast: aZ3Sort [
 	aZ3Sort = self sort ifFalse: [ self error ].
 	^self
 ]