Fix uninstantiation_error missing. Fix #1031

2021-11-16 23:22:24 +01:00
parent 75b01d5021
commit 72a88d1f91
2 changed files with 3 additions and 3 deletions
--- a/src/lib/error.pl
+++ b/src/lib/error.pl
@@ -40,7 +40,7 @@ must_be_(Type, _) :-
        instantiation_error(must_be/2).
 must_be_(var, Term) :-
        (   var(Term) -> true
-        ;   throw(error(uninstantiation_error, must_be/2))
+        ;   throw(error(uninstantiation_error(Term), must_be/2))
        ).
 must_be_(integer, Term) :- check_(integer, integer, Term).
 must_be_(atom, Term)    :- check_(atom, atom, Term).