From: Adrián Arroyo Calle Date: Sun, 22 Aug 2021 09:44:17 +0000 (+0200) Subject: use consult instead of use_module X-Git-Tag: v0.9.0~45^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c30bd51b918c3717aebe0a1207959501f8593128;p=scryer-prolog.git use consult instead of use_module --- 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).