throw instantiation error if Arity is a variable in abolish/1

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 2f3066f353c6472d9bcb66e330a5d9f1645ea511..41215a80bc1471b3446f82e381c97c301db6eb8e 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1003,6 +1003,7 @@ module_abolish(Pred, Module) :-
              ;  throw(error(permission_error(modify, static_procedure, Pred), abolish/1))
              )
           )
+       ;  var(Arity) -> throw(error(instantiation_error, abolish/1))
        ;  throw(error(type_error(integer, Arity), abolish/1))
        )
     ;  throw(error(type_error(predicate_indicator, Module:Pred), abolish/1))