diff --git a/C/c_interface.c b/C/c_interface.c index e2e856660..49068b347 100644 --- a/C/c_interface.c +++ b/C/c_interface.c @@ -2534,7 +2534,7 @@ YAP_TermHash(Term t) } X_API int -YAP_IntFileNoFromStream(Term t) +YAP_FileNoFromStream(Term t) { t = Deref(t);