summaryrefslogtreecommitdiff
path: root/repl.pl
diff options
context:
space:
mode:
Diffstat (limited to 'repl.pl')
-rw-r--r--repl.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/repl.pl b/repl.pl
index 8f68551..d963bf4 100644
--- a/repl.pl
+++ b/repl.pl
@@ -21,8 +21,8 @@ handle_arg_error(E) :-
print_exception(E).
repl_loop :-
- catch(read_eval_print, E, print_exception(E)),
'$collect_garbage',
+ catch(read_eval_print, E, print_exception(E)),
repl_loop.
read_eval_print :-