From 6b141078b4cdc2b17a7d1daa255912320d731850 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 30 Mar 2016 01:26:02 +0100 Subject: [PATCH] fix typo --- pl/init.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/init.yap b/pl/init.yap index 9fb619b6c..ed0019a1e 100644 --- a/pl/init.yap +++ b/pl/init.yap @@ -106,7 +106,7 @@ otherwise. '$continue_static_clause'(A,B,C,D,E). '$do_static_clause'(_,_,_,_,_). -\:- '$all_current_modules'(M), yap_flag(M:unknown, error) ; true. +:- '$all_current_modules'(M), yap_flag(M:unknown, error) ; true. :- bootstrap('arith.yap'). @@ -222,7 +222,7 @@ sub-goal _NG_ will replace _G_ and will be processed in the same :- dynamic user:goal_expansion/3. :- multifile user:goal_expansion/2. - + :- dynamic user:goal_expansion/2. :- multifile system:goal_expansion/2.