I'm still being picky...

2018-11-25 22:23:38 +00:00 · 2018-11-25 22:23:38 +00:00 · 73025dfc11
commit 73025dfc11
parent 5d644a69c0
1 changed files with 1 additions and 1 deletions
--- a/polymani.pl
+++ b/polymani.pl
@ -546,7 +546,7 @@ simplify_polynomial(P, P2) :-
 simplify_polynomial_as_list(L, L13) :-
    %% Convert each term to a list
    maplist(term_to_list, L, L2),
-    %% Sort each sublist; done so the next
+    %% Sort each sublist so that the next
    %% sort gives the correct results
    maplist(sort(0, @>=), L2, L3),
    %% Sort the outer list