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