Changes in src/ResolvExpr/AlternativePrinter.h [6b0b624:62e5546]

File:

• src/ResolvExpr/AlternativePrinter.h (modified) (2 diffs)

src/ResolvExpr/AlternativePrinter.h

@@ -10 +10 @@
 // Created On       : Sun May 17 06:55:43 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 09:37:09 2017
-// Update Count     : 4
+// Last Modified On : Sun May 17 06:57:12 2015
+// Update Count     : 3
 //
 
-#pragma once
+#ifndef ALTERNATIVEPRINTER_H
+#define ALTERNATIVEPRINTER_H
 
 #include <iostream>
@@ -33 +34 @@
 } // namespace ResolvExpr
 
+#endif // ALTERNATIVEPRINTER_H
+
 // Local Variables: //
 // tab-width: 4 //