diff --git a/tools/findleaves.py b/tools/findleaves.py
index 77d6795..5554715 100755
--- a/tools/findleaves.py
+++ b/tools/findleaves.py
@@ -91,7 +91,7 @@
   filename = argv[-1]
   results = perform_find(mindepth, prune, dirlist, filename)
   results.sort()
-  for r in results:
+  for r in set(results):
     print r
 
 if __name__ == "__main__":