From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 18 Apr 2018 21:31:36 +0000 (-0600)
Subject: correct-ish definition of reverse.
X-Git-Tag: v0.8.110~491
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=167d8a7590883be20b50d333b123897983a3af2f;p=scryer-prolog.git

correct-ish definition of reverse.
---

diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl
index ab3ae5dd..bd3ecd5d 100644
--- a/src/prolog/lib/lists.pl
+++ b/src/prolog/lib/lists.pl
@@ -16,8 +16,7 @@ is_list([_|T]) :- is_list(T).
 
 memberchk(X, Xs) :- member(X, Xs), !.
 
-reverse(Xs, Ys) :- var(Ys), !, reverse(Xs, [], Ys).
-reverse(Ys, Xs) :- reverse(Xs, [], Ys).
+reverse(Xs, Ys) :- reverse(Xs, [], Ys).
 
 reverse([], Ys, Ys).
 reverse([H|T], Ps, Rs) :-