ADDED: resource_error/1

diff --git a/src/lib/error.pl b/src/lib/error.pl
index e7568c755a8ffca68e368d74f26a5d20d2c931cf..93426a09e6240071f98eff3eaac9a8ffaf4abd0a 100644 (file)
--- a/src/lib/error.pl
+++ b/src/lib/error.pl
@@ -9,6 +9,7 @@
                   domain_error/2,
                   type_error/2,
                   representation_error/1,
+                  resource_error/1,
                   instantiation_error/1,
                   domain_error/3,
                   type_error/3,
@@ -236,6 +237,9 @@ type_error(Type, Term) :-
 representation_error(Flag) :-
     throw(error(representation_error(Flag), [])).
 
+resource_error(Resource) :-
+    throw(error(resource_error(Resource), [])).
+
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    The variants *with* context would not have been needed if
    call_with_error_context/2 had been found earlier. In the future,