Index: src/ResolvExpr/Alternative.h
===================================================================
--- src/ResolvExpr/Alternative.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/Alternative.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sat May 16 23:45:43 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat May 16 23:54:39 2015
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:36:36 2017
+// Update Count     : 3
 //
 
-#ifndef ALTERNATIVE_H
-#define ALTERNATIVE_H
+#pragma once
 
 #include <list>
@@ -47,6 +46,4 @@
 } // namespace ResolvExpr
 
-#endif // ALTERNATIVE_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/AlternativeFinder.h
===================================================================
--- src/ResolvExpr/AlternativeFinder.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/AlternativeFinder.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -9,11 +9,10 @@
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 23:56:12 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 19 11:44:53 2016
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:35:32 2017
+// Update Count     : 3
 //
 
-#ifndef ALTERNATIVEFINDER_H
-#define ALTERNATIVEFINDER_H
+#pragma once
 
 #include <set>
@@ -132,6 +131,4 @@
 } // namespace ResolvExpr
 
-#endif // ALTERNATIVEFINDER_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/AlternativePrinter.h
===================================================================
--- src/ResolvExpr/AlternativePrinter.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/AlternativePrinter.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 06:55:43 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May 17 06:57:12 2015
-// Update Count     : 3
+// Last Modified On : Sat Jul 22 09:37:09 2017
+// Update Count     : 4
 //
 
-#ifndef ALTERNATIVEPRINTER_H
-#define ALTERNATIVEPRINTER_H
+#pragma once
 
 #include <iostream>
@@ -34,6 +33,4 @@
 } // namespace ResolvExpr
 
-#endif // ALTERNATIVEPRINTER_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/ConversionCost.h
===================================================================
--- src/ResolvExpr/ConversionCost.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/ConversionCost.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 09:37:28 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Mar  2 17:35:56 2016
-// Update Count     : 3
+// Last Modified On : Sat Jul 22 09:38:24 2017
+// Update Count     : 4
 //
 
-#ifndef CONVERSIONCOST_H
-#define CONVERSIONCOST_H
+#pragma once
 
 #include "SynTree/Visitor.h"
@@ -51,6 +50,4 @@
 } // namespace ResolvExpr
 
-#endif // CONVERSIONCOST_H */
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/Cost.h
===================================================================
--- src/ResolvExpr/Cost.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/Cost.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -9,11 +9,10 @@
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 09:39:50 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jul 22 16:43:10 2015
-// Update Count     : 4
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:35:55 2017
+// Update Count     : 5
 //
 
-#ifndef COST_H
-#define COST_H
+#pragma once
 
 #include <iostream>
@@ -114,6 +113,4 @@
 } // namespace ResolvExpr
 
-#endif // COST_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/CurrentObject.h
===================================================================
--- src/ResolvExpr/CurrentObject.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/CurrentObject.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -9,11 +9,10 @@
 // Author           : Rob Schluntz
 // Created On       : Thu Jun  8 11:07:25 2017
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Jun  8 11:07:41 2017
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:36:48 2017
+// Update Count     : 3
 //
 
-#ifndef CURRENT_OBJECT_H
-#define CURRENT_OBJECT_H
+#pragma once
 
 #include <stack>
@@ -50,6 +49,4 @@
 } // namespace ResolvExpr
 
-#endif // CURRENT_OBJECT_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/FindOpenVars.h
===================================================================
--- src/ResolvExpr/FindOpenVars.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/FindOpenVars.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 09:46:04 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May 17 09:47:20 2015
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:35:18 2017
+// Update Count     : 3
 //
 
-#ifndef FINDOPENVARS_H
-#define FINDOPENVARS_H
+#pragma once
 
 #include "Unify.h"
@@ -25,6 +24,4 @@
 } // namespace ResolvExpr
 
-#endif // FINDOPENVARS_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/RenameVars.h
===================================================================
--- src/ResolvExpr/RenameVars.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/RenameVars.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 12:10:28 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Mar  2 17:36:39 2016
-// Update Count     : 3
+// Last Modified On : Sat Jul 22 09:33:54 2017
+// Update Count     : 4
 //
 
-#ifndef RESOLVEXPR_RENAMEVARS_H
-#define RESOLVEXPR_RENAMEVARS_H
+#pragma once
 
 #include <list>
@@ -56,6 +55,4 @@
 } // namespace ResolvExpr
 
-#endif // RENAMEVARS_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/ResolveTypeof.h
===================================================================
--- src/ResolvExpr/ResolveTypeof.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/ResolveTypeof.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 12:14:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May 17 12:16:29 2015
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:38:35 2017
+// Update Count     : 3
 //
 
-#ifndef RESOLVETYPEOF_H
-#define RESOLVETYPEOF_H
+#pragma once
 
 #include "SynTree/SynTree.h"
@@ -24,6 +23,4 @@
 } // namespace ResolvExpr
 
-#endif // RESOLVETYPEOF_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/Resolver.h
===================================================================
--- src/ResolvExpr/Resolver.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/Resolver.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -9,11 +9,10 @@
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:18:34 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:06:53 2016
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:36:57 2017
+// Update Count     : 3
 //
 
-#ifndef RESOLVER_H
-#define RESOLVER_H
+#pragma once
 
 #include "SynTree/SynTree.h"
@@ -29,6 +28,4 @@
 } // namespace ResolvExpr
 
-#endif // RESOLVER_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/TypeEnvironment.h
===================================================================
--- src/ResolvExpr/TypeEnvironment.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/TypeEnvironment.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 12:24:58 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May 17 12:26:52 2015
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:35:45 2017
+// Update Count     : 3
 //
 
-#ifndef TYPEENVIRONMENT_H
-#define TYPEENVIRONMENT_H
+#pragma once
 
 #include <string>
@@ -99,6 +98,4 @@
 } // namespace ResolvExpr
 
-#endif // TYPEENVIRONMENT_H */
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/TypeMap.h
===================================================================
--- src/ResolvExpr/TypeMap.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/TypeMap.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -9,11 +9,10 @@
 // Author           : Aaron B. Moss
 // Created On       : Fri Feb 19 13:55:00 2016
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Fri Feb 19 13:55:00 2016
-// Update Count     : 1
-//
-
-#ifndef _TYPEMAP_H
-#define _TYPEMAP_H
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:37:19 2017
+// Update Count     : 2
+//
+
+#pragma once
 
 #include <map>
@@ -204,6 +203,4 @@
 }  // namespace ResolvExpr
 
-#endif // _TYPEMAP_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/Unify.h
===================================================================
--- src/ResolvExpr/Unify.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/Unify.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 13:09:04 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May 17 13:10:34 2015
-// Update Count     : 2
+// Last Modified On : Fri Jul 21 23:09:34 2017
+// Update Count     : 3
 //
 
-#ifndef UNIFY_H
-#define UNIFY_H
+#pragma once
 
 #include <map>
@@ -72,6 +71,4 @@
 } // namespace ResolvExpr
 
-#endif // UNIFY_H
-
 // Local Variables: //
 // tab-width: 4 //
Index: src/ResolvExpr/typeops.h
===================================================================
--- src/ResolvExpr/typeops.h	(revision 9ff56e75fc7e0433d00458554b0b23a904dbb292)
+++ src/ResolvExpr/typeops.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
@@ -10,10 +10,9 @@
 // Created On       : Sun May 17 07:28:22 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May 17 07:33:11 2015
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:36:18 2017
+// Update Count     : 3
 //
 
-#ifndef TYPEOPS_H
-#define TYPEOPS_H
+#pragma once
 
 #include "SynTree/SynTree.h"
@@ -157,6 +156,4 @@
 } // namespace ResolvExpr
 
-#endif // TYPEOPS_H
-
 // Local Variables: //
 // tab-width: 4 //