This commit is contained in:
Vítor Santos Costa 2016-01-06 12:39:42 +00:00
parent 55c83fc2c8
commit 13f020ad25
1 changed files with 1 additions and 0 deletions

View File

@ -812,6 +812,7 @@ Term Yap_read_term(int inp_stream, Term opts, int nargs) {
}
}
if (fe.t) {
CACHE_REGS
if (fe.reading_clause &&
!complete_clause_processing(&fe, LOCAL_tokptr, fe.t))
fe.t = 0;