From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 22 Sep 2018 23:45:52 +0000 (-0600)
Subject: correct numbervars
X-Git-Tag: v0.8.110~368
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0c545467b9872bc85bc63ed34d39274f86ccaeb7;p=scryer-prolog.git

correct numbervars
---

diff --git a/src/prolog/lib/numbervars.pl b/src/prolog/lib/numbervars.pl
index 7d81e89f..9c6fbd95 100644
--- a/src/prolog/lib/numbervars.pl
+++ b/src/prolog/lib/numbervars.pl
@@ -26,4 +26,4 @@ fold_numbervars([HeadTerm | Terms], [NewHeadTerm | NewTerms], N1, Nn) :-
     ; numbervars(HeadTerm, NewHeadTerm, N1, N2)
     ),
     fold_numbervars(Terms, NewTerms, N2, Nn).
-fold_numbervars([], [], _, _).
+fold_numbervars([], [], N, N).