From 387ce1a3d03d4472880ebb99efaed3c989bd8c7e Mon Sep 17 00:00:00 2001 From: Diogo Cordeiro Date: Sun, 25 Nov 2018 22:31:46 +0000 Subject: [PATCH] Fix typo in predicate type --- polymani.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/polymani.pl b/polymani.pl index 052ad62..220b6a0 100644 --- a/polymani.pl +++ b/polymani.pl @@ -583,7 +583,7 @@ simplify_polynomial_as_list(L, L13) :- %% ?- simplify_polynomial_as_list([0*x, 0], L). %@ L = [0] . -%% join_similar_terms(+P:ListList, -P2:ListList) is det +%% join_similar_terms(+P:List, -P2:List) is det % % Joins similar sublists representing terms by using % `add_terms` to check if they can be merged and perform