diff --git a/os/readterm.c b/os/readterm.c index ba392f3d7..3388afe28 100644 --- a/os/readterm.c +++ b/os/readterm.c @@ -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;