fix missing quotes

This commit is contained in:
Skgland
2025-09-28 13:43:09 +02:00
committed by Bennet Bleßmann
parent 2443af57d0
commit 777e6de9ee

View File

@@ -4,4 +4,4 @@
test :- ffi:array_type(u8, 2, Type), ffi:allocate(rust, Type, [Type, 0], _ArrayPtr).
?- test.
error(existence_error(ffi_struct_constructor,$[u8;2]/1),$ffi_allocate/4).
error(existence_error(ffi_struct_constructor,'$[u8;2]'/1),'$ffi_allocate'/4).