Make read_term understand the three read options:

	variables(Vars),
	variable_names(VarNames),
	singletons(Singles)

as required per the ISO standard

1 files changed, 1 insertions, 1 deletions

diff --git a/fns.h b/fns.h
index 5a5ba88..c072d12 100644
--- a/fns.h
+++ b/fns.h
@@ -59,7 +59,7 @@ int isinputstream(Term *);
 int isoutputstream(Term *);
 int istextstream(Term *);
 int isbinarystream(Term *);
-int readterm(Term *, Term *, Term **);
+int readterm(Term *, Term **);
 void writeterm(Term *, Term *, Term *);
 
 /* module.c */