From 1c12d456ae62c689ea973ab397a52ce13f34df28 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 3 Mar 2013 08:54:46 -0600
Subject: [PATCH] ensure failure after throw from user code.

---
 C/absmi.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/C/absmi.c b/C/absmi.c
index 8a95d799c..500320752 100755
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -7338,6 +7338,7 @@ Yap_absmi(int inp)
 	struct DB_TERM *exp = EX;
 	EX = NULL;
 	Yap_JumpToEnv(Yap_PopTermFromDB(exp));
+	SREG = NULL;
       }
       if (!SREG) {
 	FAIL();