From e1544a03582229acf76493ee9d8e6cb821f1ac32 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 24 Aug 2008 14:18:32 +0100
Subject: [PATCH] genarg is at arg module, not at globals module!

---
 C/inlines.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/inlines.c b/C/inlines.c
index 3161d6dad..ea42d4889 100755
--- a/C/inlines.c
+++ b/C/inlines.c
@@ -925,7 +925,7 @@ Yap_InitInlines(void)
   Yap_InitAsmPred("$or", 3, _or, p_erroneous_call, SafePredFlag);
   Yap_InitAsmPred("$sll", 3, _sll, p_erroneous_call, SafePredFlag);
   Yap_InitAsmPred("$slr", 3, _slr, p_erroneous_call, SafePredFlag);
-  CurrentModule = GLOBALS_MODULE;
+  CurrentModule = ARG_MODULE;
   Yap_InitCPredBack("genarg", 3, 3, init_genarg, cont_genarg,SafePredFlag);
   CurrentModule = cm;
 }