From ed20e30aaa62e52bdd6e921239c6f81e22d035de Mon Sep 17 00:00:00 2001 From: Jan Vrany Date: Wed, 19 Jun 2024 13:51:53 +0100 Subject: [PATCH] Use `Z3Solver >> #release` instead of `#del` MA commit cceedbd removed `#del` in favor of `#release`. This commit catches up to use the latter. --- src/ArchC-Core/ProcessorInstructionDeclaration.class.st | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ArchC-Core/ProcessorInstructionDeclaration.class.st b/src/ArchC-Core/ProcessorInstructionDeclaration.class.st index bd1e1a7..e38c8da 100644 --- 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 ]