From d2fcdb3b6c23edb269ae56aa185760d5a6619627 Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Wed, 12 May 2021 19:39:20 +0100 Subject: [PATCH] Fix abolish/1 predicate throw of instantiation_error --- src/lib/builtins.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -> -- 2.54.0