From 73025dfc1170ec2ef13d0a344e585d86cd89ab27 Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Sun, 25 Nov 2018 22:23:38 +0000
Subject: [PATCH] I'm still being picky...

---
 polymani.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/polymani.pl b/polymani.pl
index bb54dfa..052ad62 100644
--- 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