summaryrefslogtreecommitdiff
path: root/loader.pl
diff options
context:
space:
mode:
Diffstat (limited to 'loader.pl')
-rw-r--r--loader.pl5
1 files changed, 4 insertions, 1 deletions
diff --git a/loader.pl b/loader.pl
index 0a9f8df..99478d0 100644
--- a/loader.pl
+++ b/loader.pl
@@ -2,7 +2,10 @@
start(Args) :-
catch((load_module_from_file('/sys/lib/prolog/repl.pl'), ReplLoaded = true), E, (print_exception(E), ReplLoaded = false)),
- ( ReplLoaded = true-> repl:repl(Args) ).
+ !,
+ ( ReplLoaded = true
+ -> repl:repl(Args)
+ ).
print_exception(E) :-
write('Caught exception while loading /sys/lib/prolog/repl.pl: '),