From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Thu, 28 Aug 2025 22:36:35 +0000 (+0200)
Subject: allow 3rd argument of ffi:read_ptr to not be a variable
X-Git-Tag: v0.10.0~11^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c067bfa8320a0fa7f86dcbba190e48dcace61a33;p=scryer-prolog.git

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 35a56195..385d8c79 100644
--- 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).