fix FileNoFromStream
This commit is contained in:
parent
291997ad77
commit
450123d5c6
@ -2534,7 +2534,7 @@ YAP_TermHash(Term t)
|
|||||||
}
|
}
|
||||||
|
|
||||||
X_API int
|
X_API int
|
||||||
YAP_IntFileNoFromStream(Term t)
|
YAP_FileNoFromStream(Term t)
|
||||||
{
|
{
|
||||||
|
|
||||||
t = Deref(t);
|
t = Deref(t);
|
||||||
|
Reference in New Issue
Block a user