Add dividers again.

diff --git a/filterator b/filterator
index 47622b5f41c447c065093f548e60838b3af13ad7..ee1284c4017454cf8e00cc579d6e8eb812e6bcee 100755 (executable)
--- a/filterator
+++ b/filterator
@@ -14,6 +14,7 @@ def shortreport(clique):
         rep += "%% %s:%d-%d: (%d matches)\n" % \
               (file, start, end, len(clique))
         rep += text
+    rep += 75 * "-" + "\n"
     return rep
 
 def longreport(clique):
@@ -25,6 +26,7 @@ def longreport(clique):
         else:
             rep += "%% %s:%d-%d:\n" % (file, start, end)
     rep += text
+    rep += 75 * "-" + "\n"
     return rep
 
 if __name__ == '__main__':