correct numbervars

diff --git a/src/prolog/lib/numbervars.pl b/src/prolog/lib/numbervars.pl
index 7d81e89f6686c3648d69b073ef55a45f15470138..9c6fbd95da6e45e3b4d0eda2d772fec05bbb6a0e 100644 (file)
--- 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).