From 0c545467b9872bc85bc63ed34d39274f86ccaeb7 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 22 Sep 2018 17:45:52 -0600 Subject: [PATCH] correct numbervars --- src/prolog/lib/numbervars.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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). -- 2.54.0