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
2002-04-19 14:41:56 +00:00 · 2002-04-19 14:41:56 +00:00 · d3942df58c
commit d3942df58c
parent 0ddc85551f
2 changed files with 2 additions and 2 deletions
--- 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
--- 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