Index: src/GenPoly/DeclMutator.h
===================================================================
--- src/GenPoly/DeclMutator.h	(revision 5f98ce5c7a2f9f7f1b2877251c37b8b1f6bec9a7)
+++ src/GenPoly/DeclMutator.h	(revision 926341c3d84e2745d4cd7a10e3559f22fb576512)
@@ -10,10 +10,9 @@
 // Created On       : Fri Nov 27 14:44:00 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 12 17:39:01 2016
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:21:12 2017
+// Update Count     : 4
 //
 
-#ifndef _DECLMUTATOR_H
-#define _DECLMUTATOR_H
+#pragma once
 
 #include <list>
@@ -27,5 +26,5 @@
 	/// Mutates a list of declarations, providing a means of adding new declarations into the list
 	class DeclMutator : public Mutator {
-	public:
+	  public:
 		typedef Mutator Parent;
 
@@ -50,5 +49,5 @@
 		/// Called on exit from a scope; overriders should call this as a super-class call
 		virtual void doEndScope();
-	protected:
+	  protected:
 		/// Mutate a statement that forms its own scope
 		Statement* mutateStatement( Statement *stmt );
@@ -59,5 +58,5 @@
 		/// Add a declaration to the list to be added after the current position
 		void addDeclarationAfter( Declaration* decl );
-	private:
+	  private:
 		/// A stack of declarations to add before the current declaration or statement
 		std::vector< std::list< Declaration* > > declsToAdd;
@@ -67,6 +66,4 @@
 } // namespace
 
-#endif // _DECLMUTATOR_H
-
 // Local Variables: //
 // tab-width: 4 //