change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310)

diff --git a/src/lib/random.pl b/src/lib/random.pl
index 2fb21279faf32f70a9ddcb72cbc86245631358f0..d678aff23f1856f73869ee58f237e08970aa3511 100644 (file)
--- a/src/lib/random.pl
+++ b/src/lib/random.pl
@@ -22,11 +22,11 @@ random(R) :-
 random_integer(Lower, Upper, R) :-
     var(R),
     (   (var(Lower) ; var(Upper)) ->
-            instantiation_error(random_integer/3)
+        instantiation_error(random_integer/3)
     ;   \+ integer(Lower) ->
-            domain_error(integer, Lower, random_integer/3)
+        type_error(integer, Lower, random_integer/3)
     ;   \+ integer(Upper) ->
-            domain_error(integer, Upper, random_integer/3)
+        type_error(integer, Upper, random_integer/3)
     ;   Upper > Lower,
         random(R0),
         R is floor((Upper - Lower) * R0 + Lower)