From 97b9d488d4b0e71f72b5a6a385460c9d85e78373 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 17 Jan 2022 21:53:52 -0700
Subject: [PATCH] include library(error) in toplevel.pl (#1226)

---
 src/toplevel.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 5df86d48..290b92e9 100644
--- 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))
-- 
2.54.0