From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sat, 9 Aug 2025 16:47:53 +0000 (+0200)
Subject: fix with_locals
X-Git-Tag: v0.10.0~11^2~17
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7b2bf73ba1505bf38840ae77be1e380745b61ca2;p=scryer-prolog.git

fix with_locals
---

diff --git a/src/lib/ffi.pl b/src/lib/ffi.pl
index e3394ca5..ab981e82 100644
--- a/src/lib/ffi.pl
+++ b/src/lib/ffi.pl
@@ -145,7 +145,7 @@ array_type(ElemType, Len, ArrayType) :-
 with_locals(Locals, Goal) :-
     verify_locals(Locals),
     allocate_locals(Locals),
-    ( catch(Goal, E, (deallocate(Locals), throw(E))) -> deallocate_locals(Locals)
+    ( catch(Goal, E, (deallocate_locals(Locals), throw(E))) -> deallocate_locals(Locals)
     ; deallocate_locals(Locals), false
     ).