Do not use __ prefix for header guards. (#2974)

Fixes 2887.

7 files changed, 21 insertions, 21 deletions

diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h
index d49e17da2..fa109c779 100644
--- a/src/printer/ast/ast_printer.h
+++ b/src/printer/ast/ast_printer.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__PRINTER__AST_PRINTER_H
-#define __CVC4__PRINTER__AST_PRINTER_H
+#ifndef CVC4__PRINTER__AST_PRINTER_H
+#define CVC4__PRINTER__AST_PRINTER_H
 
 #include <iostream>
 
@@ -54,4 +54,4 @@ class AstPrinter : public CVC4::Printer {
 }/* CVC4::printer namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__PRINTER__AST_PRINTER_H */
+#endif /* CVC4__PRINTER__AST_PRINTER_H */
diff --git a/src/printer/cvc/cvc_printer.h b/src/printer/cvc/cvc_printer.h
index e85a66a05..d379af7e3 100644
--- a/src/printer/cvc/cvc_printer.h
+++ b/src/printer/cvc/cvc_printer.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__PRINTER__CVC_PRINTER_H
-#define __CVC4__PRINTER__CVC_PRINTER_H
+#ifndef CVC4__PRINTER__CVC_PRINTER_H
+#define CVC4__PRINTER__CVC_PRINTER_H
 
 #include <iostream>
 
@@ -57,4 +57,4 @@ class CvcPrinter : public CVC4::Printer {
 }/* CVC4::printer namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__PRINTER__CVC_PRINTER_H */
+#endif /* CVC4__PRINTER__CVC_PRINTER_H */
diff --git a/src/printer/dagification_visitor.h b/src/printer/dagification_visitor.h
index ed0f1ada7..18f31e662 100644
--- a/src/printer/dagification_visitor.h
+++ b/src/printer/dagification_visitor.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__PRINTER__DAGIFICATION_VISITOR_H
-#define __CVC4__PRINTER__DAGIFICATION_VISITOR_H
+#ifndef CVC4__PRINTER__DAGIFICATION_VISITOR_H
+#define CVC4__PRINTER__DAGIFICATION_VISITOR_H
 
 #include <string>
 #include <unordered_map>
@@ -175,4 +175,4 @@ public:
 }/* CVC4::printer namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__PRINTER__DAGIFICATION_VISITOR_H */
+#endif /* CVC4__PRINTER__DAGIFICATION_VISITOR_H */
diff --git a/src/printer/printer.h b/src/printer/printer.h
index 051eb6c97..85b7d498f 100644
--- a/src/printer/printer.h
+++ b/src/printer/printer.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__PRINTER__PRINTER_H
-#define __CVC4__PRINTER__PRINTER_H
+#ifndef CVC4__PRINTER__PRINTER_H
+#define CVC4__PRINTER__PRINTER_H
 
 #include <map>
 #include <string>
@@ -113,4 +113,4 @@ class Printer
 
 }  // namespace CVC4
 
-#endif /* __CVC4__PRINTER__PRINTER_H */
+#endif /* CVC4__PRINTER__PRINTER_H */
diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h
index 3f80f0612..579231364 100644
--- a/src/printer/smt2/smt2_printer.h
+++ b/src/printer/smt2/smt2_printer.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__PRINTER__SMT2_PRINTER_H
-#define __CVC4__PRINTER__SMT2_PRINTER_H
+#ifndef CVC4__PRINTER__SMT2_PRINTER_H
+#define CVC4__PRINTER__SMT2_PRINTER_H
 
 #include <iostream>
 
@@ -80,4 +80,4 @@ class Smt2Printer : public CVC4::Printer {
 }/* CVC4::printer namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__PRINTER__SMT2_PRINTER_H */
+#endif /* CVC4__PRINTER__SMT2_PRINTER_H */
diff --git a/src/printer/sygus_print_callback.h b/src/printer/sygus_print_callback.h
index 5b099aa1f..d956fd4c6 100644
--- a/src/printer/sygus_print_callback.h
+++ b/src/printer/sygus_print_callback.h
@@ -14,8 +14,8 @@
 
 #include "cvc4_public.h"
 
-#ifndef __CVC4__PRINTER__SYGUS_PRINT_CALLBACK_H
-#define __CVC4__PRINTER__SYGUS_PRINT_CALLBACK_H
+#ifndef CVC4__PRINTER__SYGUS_PRINT_CALLBACK_H
+#define CVC4__PRINTER__SYGUS_PRINT_CALLBACK_H
 
 #include <vector>
 
@@ -172,4 +172,4 @@ class CVC4_PUBLIC SygusEmptyPrintCallback : public SygusPrintCallback
 } /* CVC4::printer namespace */
 } /* CVC4 namespace */
 
-#endif /* __CVC4__PRINTER__SYGUS_PRINT_CALLBACK_H */
+#endif /* CVC4__PRINTER__SYGUS_PRINT_CALLBACK_H */
diff --git a/src/printer/tptp/tptp_printer.h b/src/printer/tptp/tptp_printer.h
index ae7817a47..63272891e 100644
--- a/src/printer/tptp/tptp_printer.h
+++ b/src/printer/tptp/tptp_printer.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__PRINTER__TPTP_PRINTER_H
-#define __CVC4__PRINTER__TPTP_PRINTER_H
+#ifndef CVC4__PRINTER__TPTP_PRINTER_H
+#define CVC4__PRINTER__TPTP_PRINTER_H
 
 #include <iostream>
 
@@ -58,4 +58,4 @@ class TptpPrinter : public CVC4::Printer {
 }/* CVC4::printer namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__PRINTER__TPTP_PRINTER_H */
+#endif /* CVC4__PRINTER__TPTP_PRINTER_H */