From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 18 Jan 2022 04:53:52 +0000 (-0700)
Subject: include library(error) in toplevel.pl (#1226)
X-Git-Tag: v0.9.0^2~56
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=97b9d488d4b0e71f72b5a6a385460c9d85e78373;p=scryer-prolog.git

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

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))