From 53a49bb3c32ae7367f1ef6d1abc4a1534e90ffb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 8 Sep 2014 17:16:00 -0500
Subject: [PATCH] call ypp from the console

---
 console/yap.c | 4 ----
 pl/init.yap   | 1 +
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/console/yap.c b/console/yap.c
index 48dc0575d..ef6542d7c 100755
--- a/console/yap.c
+++ b/console/yap.c
@@ -159,10 +159,6 @@ main (int argc, char **argv)
   }
   /* Begin preprocessor code */
   if (BootMode != YAP_BOOT_FROM_SAVED_STACKS) {
-    // load the module
-    YAP_Term mod_arg[1];
-    mod_arg[0] = YAP_MkAtomTerm(YAP_LookupAtom("ypp"));
-    YAP_RunGoalOnce(YAP_MkApplTerm(YAP_MkFunctor(YAP_LookupAtom("use_module"),1), 1, mod_arg)); 
     // process the definitions
     for(i=0;i<init_args.def_c;++i) {
       YAP_Term t_args[2],t_goal;
diff --git a/pl/init.yap b/pl/init.yap
index 40440140e..9389d4cc0 100755
--- a/pl/init.yap
+++ b/pl/init.yap
@@ -169,6 +169,7 @@ version(yap,[6,3]).
 :- use_module('swi.yap').
 :- use_module('../swi/library/predopts.pl').
 :- use_module('../swi/library/menu.pl').
+:- use_module('../library/ypp.yap').