From 8c2af87600abf881c178998d0f5ad1e57b8abef3 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Wed, 12 Feb 2003 13:19:05 +0000
Subject: [PATCH] check for modules everywhere in meta-calls.

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

diff --git a/C/absmi.c b/C/absmi.c
index 79bb2dbb3..a0a513fd2 100644
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -11954,7 +11954,7 @@ Yap_absmi(int inp)
 	      E_YREG[-EnvSizeInCells-2]  = MkIntegerTerm((Int)PredPropByAtom(AtomOfTerm(d1),mod));
 	    } else if (IsApplTerm(d1)) {
 	      Functor f = FunctorOfTerm(d1);
-	      if (IsExtensionFunctor(f)) {
+	      if (IsExtensionFunctor(f) || f == FunctorModule) {
 		goto execute_metacall_after_comma;
 	      } else {
 		E_YREG[-EnvSizeInCells-2]  = MkIntegerTerm((Int)PredPropByFunc(f,mod));
@@ -12000,7 +12000,7 @@ Yap_absmi(int inp)
 	      goto execute_comma;
 	    } else if (IsApplTerm(d0)) {
 	      Functor f = FunctorOfTerm(d0);
-	      if (IsExtensionFunctor(f)) {
+	      if (IsExtensionFunctor(f) || f == FunctorModule) {
 		goto execute_metacall_after_comma;
 	      } else {
 		pen = RepPredProp(PredPropByFunc(f,mod));