From c30bd51b918c3717aebe0a1207959501f8593128 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Sun, 22 Aug 2021 11:44:17 +0200 Subject: [PATCH] use consult instead of use_module --- src/toplevel.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index aa763177..8ce69ed5 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -17,7 +17,7 @@ load_scryerrc :- append(HomeDir, "/.scryerrc", ScryerrcFile), ( file_exists(ScryerrcFile) -> atom_chars(ScryerrcFileAtom, ScryerrcFile), - catch(use_module(ScryerrcFileAtom), E, print_exception(E)) + catch(consult(ScryerrcFileAtom), E, print_exception(E)) ; true ) ; true @@ -56,7 +56,7 @@ delegate_task([Arg0|Args], Goals0) :- ; member(Arg0, ["-g", "--goal"]) -> gather_goal(g, Args, Goals0) ; member(Arg0, ["-f"]) -> init_file ; atom_chars(Mod, Arg0), - catch(use_module(Mod), E, print_exception(E)) + catch(consult(Mod), E, print_exception(E)) ), delegate_task(Args, Goals0). -- 2.54.0