From c067bfa8320a0fa7f86dcbba190e48dcace61a33 Mon Sep 17 00:00:00 2001
From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Fri, 29 Aug 2025 00:36:35 +0200
Subject: [PATCH] allow 3rd argument of ffi:read_ptr to not be a variable

---
 src/lib/ffi.pl | 1 -
 1 file changed, 1 deletion(-)

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