diff --git a/bin/util.py b/bin/util.py
index 7d18e6c8c599b88e294eb87145545602cef8b031..b2d66dc1757b7aa4bd3f60a2485f30dc089ebf66 100644
--- a/bin/util.py
+++ b/bin/util.py
@@ -51,7 +51,7 @@ class Reporter(object):
 
         if not self.messages:
             return
-        for m in self.messages:
+        for m in sorted(self.messages):
             print(m, file=stream)