summaryrefslogtreecommitdiff
path: root/builtins.c
diff options
context:
space:
mode:
Diffstat (limited to 'builtins.c')
-rw-r--r--builtins.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/builtins.c b/builtins.c
index 1cddcdd..9aee573 100644
--- a/builtins.c
+++ b/builtins.c
@@ -872,6 +872,9 @@ builtinreadterm(Term *goal, Binding **bindings, Module *module)
if(error)
Throw(realterm);
+ if(realterm == nil)
+ Throw(syntaxerror(L"end of stream"));
+
Term *singlevars = nil;
Term *uniquevars = nil;
Term *varsnames = nil;