Remove duplicate lines (#8552)

We remove the arguments from links to solver methods in the Kinds
documentation to turn C++ references into python references. This
oftentimes collapses previously different overload of methods (usually
mkTerm()). This PR generically removes duplicate lines from these
comments using some re magic.

diff --git a/src/api/python/genenums.py.in b/src/api/python/genenums.py.in
index ccab48a8295dfd0aebfc72798c071752c047b1d4..dc3c4774cdf1cc731d542b68efadcc93bb6090d9 100644 (file)
--- a/src/api/python/genenums.py.in
+++ b/src/api/python/genenums.py.in
@@ -79,8 +79,11 @@ comment_repls = {
 
 
 def reformat_comment(comment):
+    # apply replacements from above
     for pat, repl in comment_repls.items():
         comment = re.sub(pat, repl, comment)
+    # remove duplicate lines (e.g. overloads collapse from previous substitutions)
+    comment = re.sub('^(?P<line>.*)$\n^(?P=line)$', '\\g<line>', comment, flags=re.MULTILINE)
     return comment