Index: translator/Common/utility.h
===================================================================
--- translator/Common/utility.h	(revision 01aeadef077c992eb10d8adaf24ed68ff9c4b7ca)
+++ translator/Common/utility.h	(revision a08ba927e920255639a48d814cce47347723392a)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue May 19 07:27:38 2015
-// Update Count     : 2
+// Last Modified On : Tue May 19 15:34:57 2015
+// Update Count     : 3
 //
 
@@ -116,5 +116,5 @@
 	Ts ret;
 
-	switch ( l.size() ){
+	switch ( l.size() ) {
 	  case 0:
 		return ret;
@@ -156,7 +156,7 @@
 
 	//if ( next != org.end() ) {
-    org.erase( pos );
-    org.splice( next, with );
-    //}
+	org.erase( pos );
+	org.splice( next, with );
+	//}
 
 	return;
@@ -175,5 +175,5 @@
 template< typename T >
 struct is_null_pointer {
-	bool operator()( const T *ptr ){ return ( ptr == 0 ); }
+	bool operator()( const T *ptr ) { return ( ptr == 0 ); }
 };