allow 3rd argument of ffi:read_ptr to not be a variable

diff --git a/src/lib/ffi.pl b/src/lib/ffi.pl
index 35a56195ddf4e25953e9d2a2414ef2b4443b9e6d..385d8c79a95846a9ed28ae493ccf159600027b00 100644 (file)
--- a/src/lib/ffi.pl
+++ b/src/lib/ffi.pl
@@ -146,7 +146,6 @@ allocate(Allocator, Type, Args, Ptr) :-
 % For type cstr take read a nul-terminated utf-8 string starting at Ptr.
 %
 read_ptr(Type, Ptr, Value) :-
-    must_be(var, Value),
     must_be(atom, Type),
     must_be(integer, Ptr),
     '$ffi_read_ptr'(Type, Ptr, Value).