From d3942df58cb4b06f5c04083dda291ef45e1de561 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Fri, 19 Apr 2002 14:41:56 +0000
Subject: [PATCH] it looks like mod for execute_in_mod may be instantiated.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@446 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/absmi.c | 2 +-
 C/exec.c  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/C/absmi.c b/C/absmi.c
index 524195c50..f12449018 100644
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -11465,7 +11465,7 @@ absmi(int inp)
       BOp(p_execute, sla);
       { 
 	PredEntry *pen;
-	SMALLUNSGN mod = IntOfTerm(ARG2);
+	SMALLUNSGN mod = IntOfTerm(Deref(ARG2));
 
 	CACHE_Y_AS_ENV(Y);
 #ifndef NO_CHECKING
diff --git a/C/exec.c b/C/exec.c
index 1d543d888..f8f74fe8c 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -283,7 +283,7 @@ p_execute(void)
 static Int
 p_execute_in_mod(void)
 {				/* '$execute'(Goal)	 */
-  return(do_execute(Deref(ARG1), IntOfTerm(ARG2)));
+  return(do_execute(Deref(ARG1), IntOfTerm(Deref(ARG2))));
 }
 
 inline static Int