Rename CVC4__ header guards to CVC5__. (#6326)

6 files changed, 17 insertions, 17 deletions

diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h
index 7d24aa0fe..671c4612f 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 CVC5__PRINTER__AST_PRINTER_H
+#define CVC5__PRINTER__AST_PRINTER_H
 
 #include <iostream>
 
@@ -198,4 +198,4 @@ class AstPrinter : public cvc5::Printer
 }  // namespace printer
 }  // namespace cvc5
 
-#endif /* CVC4__PRINTER__AST_PRINTER_H */
+#endif /* CVC5__PRINTER__AST_PRINTER_H */
diff --git a/src/printer/cvc/cvc_printer.h b/src/printer/cvc/cvc_printer.h
index f7458c3f5..3ef098f64 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 CVC5__PRINTER__CVC_PRINTER_H
+#define CVC5__PRINTER__CVC_PRINTER_H
 
 #include <iostream>
 
@@ -206,4 +206,4 @@ class CvcPrinter : public cvc5::Printer
 }  // namespace printer
 }  // namespace cvc5
 
-#endif /* CVC4__PRINTER__CVC_PRINTER_H */
+#endif /* CVC5__PRINTER__CVC_PRINTER_H */
diff --git a/src/printer/let_binding.h b/src/printer/let_binding.h
index b0560a025..223f27775 100644
--- a/src/printer/let_binding.h
+++ b/src/printer/let_binding.h
@@ -14,8 +14,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__PRINTER__LET_BINDING_H
-#define CVC4__PRINTER__LET_BINDING_H
+#ifndef CVC5__PRINTER__LET_BINDING_H
+#define CVC5__PRINTER__LET_BINDING_H
 
 #include <vector>
 
diff --git a/src/printer/printer.h b/src/printer/printer.h
index 65b4a7ccb..4653eb305 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 CVC5__PRINTER__PRINTER_H
+#define CVC5__PRINTER__PRINTER_H
 
 #include <string>
 
@@ -310,4 +310,4 @@ class Printer
 
 }  // namespace cvc5
 
-#endif /* CVC4__PRINTER__PRINTER_H */
+#endif /* CVC5__PRINTER__PRINTER_H */
diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h
index a3ab9721c..1eb1a6f8f 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 CVC5__PRINTER__SMT2_PRINTER_H
+#define CVC5__PRINTER__SMT2_PRINTER_H
 
 #include "printer/printer.h"
 
@@ -277,4 +277,4 @@ class Smt2Printer : public cvc5::Printer
 }  // namespace printer
 }  // namespace cvc5
 
-#endif /* CVC4__PRINTER__SMT2_PRINTER_H */
+#endif /* CVC5__PRINTER__SMT2_PRINTER_H */
diff --git a/src/printer/tptp/tptp_printer.h b/src/printer/tptp/tptp_printer.h
index c59e18ae2..30124879b 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 CVC5__PRINTER__TPTP_PRINTER_H
+#define CVC5__PRINTER__TPTP_PRINTER_H
 
 #include <iostream>
 
@@ -66,4 +66,4 @@ class TptpPrinter : public cvc5::Printer
 }  // namespace printer
 }  // namespace cvc5
 
-#endif /* CVC4__PRINTER__TPTP_PRINTER_H */
+#endif /* CVC5__PRINTER__TPTP_PRINTER_H */