commits have no end of file.
This commit is contained in:
parent
7e7bc06d07
commit
42ebf1db4b
@ -633,6 +633,8 @@ static Int
|
|||||||
} else {
|
} else {
|
||||||
Yap_clean_tokenizer(tokstart, LOCAL_VarTable, LOCAL_AnonVarTable, LOCAL_Comments);
|
Yap_clean_tokenizer(tokstart, LOCAL_VarTable, LOCAL_AnonVarTable, LOCAL_Comments);
|
||||||
|
|
||||||
|
if (store_comments && !Yap_unify(LOCAL_Comments, ARG7))
|
||||||
|
return FALSE;
|
||||||
return Yap_unify_constant(ARG2, MkAtomTerm (AtomEof))
|
return Yap_unify_constant(ARG2, MkAtomTerm (AtomEof))
|
||||||
&& Yap_unify_constant(ARG4, TermNil);
|
&& Yap_unify_constant(ARG4, TermNil);
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user