From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 20 Feb 2020 17:07:45 +0000 (-0700)
Subject: revert to older between.pl
X-Git-Tag: v0.8.119~83
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e5a0ba7bf3d8add1de0e409a023fa6d72613f4a5;p=scryer-prolog.git

revert to older between.pl
---

diff --git a/src/prolog/lib/between.pl b/src/prolog/lib/between.pl
index a8e06882..1f49dfc7 100644
--- a/src/prolog/lib/between.pl
+++ b/src/prolog/lib/between.pl
@@ -6,15 +6,10 @@
 :- use_module(library(error)).
 
 between(Lower, Upper, X) :-
-    (  Upper == inf ->
-       must_be(integer, Lower),
-       can_be(integer, X),
-       enumerate_nats(Lower, X)
-    ;  must_be(integer, Lower),
-       must_be(integer, Upper),
-       can_be(integer, X),
-       between_(Lower, Upper, X)
-    ).
+    must_be(integer, Lower),
+    must_be(integer, Upper),
+    can_be(integer, X),
+    between_(Lower, Upper, X). 
 
 between_(Lower, Upper, Lower) :-
     Lower =< Upper.