From: Paulo Moura <pmoura@logtalk.org>
Date: Wed, 12 May 2021 18:39:20 +0000 (+0100)
Subject: Fix abolish/1 predicate throw of instantiation_error
X-Git-Tag: v0.9.0~68^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d2fcdb3b6c23edb269ae56aa185760d5a6619627;p=scryer-prolog.git

Fix abolish/1 predicate throw of instantiation_error
---

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index d96e0a16..892ca106 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1023,7 +1023,7 @@ retractall(_).
 
 module_abolish(Pred, Module) :-
     (  var(Pred) ->
-       throw(error(instantiation_error), abolish/1)
+       throw(error(instantiation_error, abolish/1))
     ;  Pred = Name/Arity ->
        (  var(Name)  ->
           throw(error(instantiation_error, abolish/1))
@@ -1052,7 +1052,7 @@ module_abolish(Pred, Module) :-
 
 abolish(Pred) :-
     (  var(Pred) ->
-       throw(error(instantiation_error), abolish/1)
+       throw(error(instantiation_error, abolish/1))
     ;  Pred = Module:InnerPred ->
        module_abolish(InnerPred, Module)
     ;  Pred = Name/Arity ->