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

mthom · Feb 2, 2024 · 7573c64 · 7573c64
1 parent 6fe8f64
commit 7573c64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/toplevel.pl b/src/toplevel.pl
@@ -28,6 +28,7 @@
 
 '$repl' :-
     asserta('$toplevel':started),
+    (\+ disabled_init_file -> load_scryerrc ; true),
     raw_argv(Args0),
     (   append(Args1, ["--"|_], Args0) ->
         Args = Args1
@@ -37,7 +38,6 @@
 	delegate_task(TaskArgs, [])
     ;   true
     ),
-    (\+ disabled_init_file -> load_scryerrc ; true),
     repl.
 
 delegate_task([], []).