include library(error) in toplevel.pl (#1226)

2022-01-17 21:53:52 -07:00
parent 3ebf8d5db9
commit 97b9d488d4
1 changed files with 1 additions and 1 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -2,6 +2,7 @@
                        copy_term/3]).

 :- use_module(library(charsio)).
+:- use_module(library(error)).
 :- use_module(library(files)).
 :- use_module(library(iso_ext)).
 :- use_module(library(lambda)).
@@ -153,7 +154,6 @@ instruction_match(Term, VarList) :-
    (  var(Term) ->
       throw(error(instantiation_error, repl/0))
    ;  Term = [Item] ->
-       !,
       (  atom(Item) ->
          (  Item == user ->
             catch(load(user_input), E, print_exception_with_check(E))