add meta_predicate declaration for with_locals/2

2025-08-24 20:25:41 +02:00
parent ce9b41815d
commit 1f7a60dec9
1 changed files with 2 additions and 0 deletions
--- a/src/lib/ffi.pl
+++ b/src/lib/ffi.pl
@@ -177,6 +177,8 @@ array_type(ElemType, Len, ArrayType) :-
        assertz(is_array_type_defined(ArrayType))
    ).

+:- meta_predicate(with_locals(?, 0)).
+
 %% with_locals(+Locals, :Goal)
 %
 %  Allocate the Locals, evaluate the Goal and deallocate the Locals.