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
     ).