fix

2018-07-03 10:45:22 +01:00
parent 48540ccc78
commit 21a7a3ef44
10 changed files with 13 additions and 14 deletions
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -2065,7 +2065,7 @@ Atom Yap_ConsultingFile(USES_REGS1) {
  if (LOCAL_consult_level == 0) {
    return (AtomUser);
  } else {
-    return (Yap_ULookupAtom(LOCAL_ConsultBase[2].f_name));
+    return LOCAL_ConsultBase[2].f_name;
  }
 }