Index: src/ResolvExpr/AlternativePrinter.h
===================================================================
--- src/ResolvExpr/AlternativePrinter.h	(revision 62e5546cd62ceedcb0b33b24775b308bc35ad734)
+++ src/ResolvExpr/AlternativePrinter.h	(revision 7f617cf092d9769da8e953535e145232d27ae7c7)
@@ -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 //