load .scryerrc before files and goals (#1775, #2313)

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 820d91d0771368e72b000ddb6b5cb7d69fc6b860..a3cee9a08cc216084304773144f2eb4321228866 100644 (file)
--- 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([], []).