Use Z3Solver >> #release instead of #del

MA commit cceedbd removed `#del` in favor of `#release`. This commit catches up to use the latter.
shingarov · Jun 24, 2024 · ed20e30 · ed20e30
1 parent c0f4aab
commit ed20e30
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ArchC-Core/ProcessorInstructionDeclaration.class.st b/src/ArchC-Core/ProcessorInstructionDeclaration.class.st
@@ -70,7 +70,7 @@ ProcessorInstructionDeclaration >> alwaysFitsEncoding: aBitVector [
 	solver := Z3Solver new.
 	[
 		answer := solver isValid: encodingIsCorrect
-	] ensure: [ solver del. ].
+	] ensure: [ solver release. ].
 	^ answer
 ]
 
@@ -294,7 +294,7 @@ ProcessorInstructionDeclaration >> possiblyFitsEncoding: aBitVector [
 	[
 		solver assert: (self binaryEncoding eq: aBitVector).
 		answer := solver check.
-	] ensure: [ solver del. ].
+	] ensure: [ solver release. ].
 	^ answer
 ]