Index: src/Common/utility.h
===================================================================
--- src/Common/utility.h	(revision e6955b1a44ef79f7fd4b73e0cb17574f4a867207)
+++ src/Common/utility.h	(revision 2acf5fcd906a54378fddc29b0575320efe7c6e19)
@@ -56,5 +56,4 @@
 }
 
-
 template< typename Input_iterator >
 void printEnums( Input_iterator begin, Input_iterator end, const char * const *name_array, std::ostream &os ) {
