diff --git a/src/toplevel.pl b/src/toplevel.pl index 820d91d0..a3cee9a0 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -28,6 +28,7 @@ load_scryerrc :- '$repl' :- asserta('$toplevel':started), + (\+ disabled_init_file -> load_scryerrc ; true), raw_argv(Args0), ( append(Args1, ["--"|_], Args0) -> Args = Args1 @@ -37,7 +38,6 @@ load_scryerrc :- delegate_task(TaskArgs, []) ; true ), - (\+ disabled_init_file -> load_scryerrc ; true), repl. delegate_task([], []).