fix with_locals

diff --git a/src/lib/ffi.pl b/src/lib/ffi.pl
index e3394ca5674aa5557a36215cb76f67679c436a49..ab981e82928121d4cc9257177b0534da9bf76454 100644 (file)
--- 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
     ).