fix prefetching

This commit is contained in:
Vítor Santos Costa 2011-10-03 15:29:57 -03:00
parent 139f64a459
commit ff67abc937
1 changed files with 3 additions and 1 deletions

View File

@ -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);