Explain some failures to merge.

diff --git a/filterator b/filterator
index e8318d1bb9b602ab2a5a2badd8af7a06af73018f..b99a1d44ed74ef25e4bf6b0cd51f87a28fb6fa97 100755 (executable)
--- a/filterator
+++ b/filterator
@@ -119,7 +119,7 @@ if __name__ == '__main__':
                     rfp.close()
                     if nofilter or nontrivial(text):
                         count += 1
-                        print "%% %s:%s-%s:" % (file, start, end)
+                        print "%% %s:%s-%s: (%d matches)" % (file, start, end, len(locations))
                         sys.stdout.write(text)
                         #print `nontrivial(text)`
                     locations = []