correct numbervars

2018-09-22 17:45:52 -06:00
parent 10cbd0875b
commit 0c545467b9
1 changed files with 1 additions and 1 deletions
@@ -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).