From d7a3ed2d4abcf6fafe3506c33367b879ffcb3839 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 3 Mar 2022 23:24:26 -0700 Subject: [PATCH] change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310) --- src/lib/random.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/random.pl b/src/lib/random.pl index 2fb21279..d678aff2 100644 --- 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) -- 2.54.0