From 13f020ad250dafcfe6a7e14c4f07c790e5685c67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 6 Jan 2016 12:39:42 +0000
Subject: [PATCH] threads

---
 os/readterm.c | 1 +
 1 file changed, 1 insertion(+)

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;