diff options
Diffstat (limited to 'repl.pl')
-rw-r--r-- | repl.pl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 :- |