From 2a77288e28f2725b5621c239d2393d49f61993e8 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 15 Jul 2021 22:04:03 +0000 Subject: Make read_term understand the three read options: variables(Vars), variable_names(VarNames), singletons(Singles) as required per the ISO standard --- fns.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'fns.h') 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 */ -- cgit v1.2.3