From 550c49a7dd2b13ea29743458336f0c0a0fb6099a Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 9 Apr 2021 16:14:21 -0700
Subject: Rename CVC4__ header guards to CVC5__. (#6326)

---
 src/smt/expand_definitions.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/smt/expand_definitions.h')

diff --git a/src/smt/expand_definitions.h b/src/smt/expand_definitions.h
index 7d99445d5..a3d70542b 100644
--- a/src/smt/expand_definitions.h
+++ b/src/smt/expand_definitions.h
@@ -14,8 +14,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef CVC4__SMT__EXPAND_DEFINITIONS_H
-#define CVC4__SMT__EXPAND_DEFINITIONS_H
+#ifndef CVC5__SMT__EXPAND_DEFINITIONS_H
+#define CVC5__SMT__EXPAND_DEFINITIONS_H
 
 #include <unordered_map>
 
-- 
cgit v1.2.3