From 7b2bf73ba1505bf38840ae77be1e380745b61ca2 Mon Sep 17 00:00:00 2001 From: Skgland Date: Sat, 9 Aug 2025 18:47:53 +0200 Subject: [PATCH] fix with_locals --- src/lib/ffi.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ). -- 2.54.0