From 1f7a60dec91fa499eb7b8e8c2a94e83a87387bb5 Mon Sep 17 00:00:00 2001 From: Skgland Date: Sun, 24 Aug 2025 20:25:41 +0200 Subject: [PATCH] add meta_predicate declaration for with_locals/2 --- src/lib/ffi.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lib/ffi.pl b/src/lib/ffi.pl index 8bbc55ff..a03308a7 100644 --- 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. -- 2.54.0