diff --git a/C/absmi.c b/C/absmi.c index 2a3d0f5c7..e4767d5e3 100644 --- a/C/absmi.c +++ b/C/absmi.c @@ -5445,9 +5445,11 @@ Yap_absmi(int inp) ENDOp(); Op(unify_void, o); - SREG++; + START_PREFETCH(o); PREG = NEXTOP(PREG, o); + SREG++; GONext(); + END_PREFETCH(); ENDOp(); OpW(unify_void_write, o);