CACHE_REGS

2012-02-07 15:18:43 +00:00
parent 3648c562fa
commit 21522ce151
4 changed files with 6 additions and 1 deletions
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -562,6 +562,7 @@ X_API Term     STD_PROTO(YAP_ImportTerm,(char *));
 static UInt
 current_arity(void)
 {
+  CACHE_REGS
 if (P && PREVOP(P,Osbpp)->opc == Yap_opcode(_call_usercpred)) {
    return PREVOP(P,Osbpp)->u.Osbpp.p->ArityOfPE;
  } else {