From ff67abc9370963f9f591c7234357de9fa26a7777 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 3 Oct 2011 15:29:57 -0300
Subject: [PATCH] fix prefetching

---
 C/absmi.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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