Fix abolish/1 predicate throw of instantiation_error

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index d96e0a163abf6fb556703610284227334152700d..892ca106232c186f868df3e4bd086a6b3c57aa59 100644 (file)
--- 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 ->