diff options
Diffstat (limited to 'src/smt/env.h')
-rw-r--r-- | src/smt/env.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/smt/env.h b/src/smt/env.h index 4ad8c81e2..c22044338 100644 --- a/src/smt/env.h +++ b/src/smt/env.h @@ -15,8 +15,8 @@ #include "cvc4_public.h" -#ifndef CVC4__SMT__ENV_H -#define CVC4__SMT__ENV_H +#ifndef CVC5__SMT__ENV_H +#define CVC5__SMT__ENV_H #include <memory> @@ -184,4 +184,4 @@ class Env } // namespace cvc5 -#endif /* CVC4__SMT__ENV_H */ +#endif /* CVC5__SMT__ENV_H */ |