diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 16:14:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-09 23:14:21 +0000 |
commit | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (patch) | |
tree | b06962055a5de77d39c95fc577e54c0d7d69dcfd /src/main | |
parent | ca7e206c239d8de0f25fb23544e4923641b85d11 (diff) |
Rename CVC4__ header guards to CVC5__. (#6326)
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/command_executor.h | 6 | ||||
-rw-r--r-- | src/main/interactive_shell.h | 6 | ||||
-rw-r--r-- | src/main/main.h | 6 | ||||
-rw-r--r-- | src/main/signal_handlers.h | 6 | ||||
-rw-r--r-- | src/main/time_limit.h | 6 |
5 files changed, 15 insertions, 15 deletions
diff --git a/src/main/command_executor.h b/src/main/command_executor.h index 1b68e01e6..5a848bad0 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -12,8 +12,8 @@ ** \brief An additional layer between commands and invoking them. **/ -#ifndef CVC4__MAIN__COMMAND_EXECUTOR_H -#define CVC4__MAIN__COMMAND_EXECUTOR_H +#ifndef CVC5__MAIN__COMMAND_EXECUTOR_H +#define CVC5__MAIN__COMMAND_EXECUTOR_H #include <iosfwd> #include <string> @@ -119,4 +119,4 @@ bool solverInvoke(api::Solver* solver, } // namespace main } // namespace cvc5 -#endif /* CVC4__MAIN__COMMAND_EXECUTOR_H */ +#endif /* CVC5__MAIN__COMMAND_EXECUTOR_H */ diff --git a/src/main/interactive_shell.h b/src/main/interactive_shell.h index 2f7f0af21..5ae3b40ef 100644 --- a/src/main/interactive_shell.h +++ b/src/main/interactive_shell.h @@ -12,8 +12,8 @@ ** \brief Interactive shell for CVC4 **/ -#ifndef CVC4__INTERACTIVE_SHELL_H -#define CVC4__INTERACTIVE_SHELL_H +#ifndef CVC5__INTERACTIVE_SHELL_H +#define CVC5__INTERACTIVE_SHELL_H #include <iosfwd> #include <string> @@ -74,4 +74,4 @@ public: } // namespace cvc5 -#endif /* CVC4__INTERACTIVE_SHELL_H */ +#endif /* CVC5__INTERACTIVE_SHELL_H */ diff --git a/src/main/main.h b/src/main/main.h index 6f485a1f5..3f35a9ad4 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -23,8 +23,8 @@ #include "cvc4autoconfig.h" #include "options/options.h" -#ifndef CVC4__MAIN__MAIN_H -#define CVC4__MAIN__MAIN_H +#ifndef CVC5__MAIN__MAIN_H +#define CVC5__MAIN__MAIN_H namespace cvc5 { namespace main { @@ -78,4 +78,4 @@ void cvc4_shutdown() noexcept; int runCvc4(int argc, char* argv[], cvc5::Options&); void printUsage(cvc5::Options&, bool full = false); -#endif /* CVC4__MAIN__MAIN_H */ +#endif /* CVC5__MAIN__MAIN_H */ diff --git a/src/main/signal_handlers.h b/src/main/signal_handlers.h index f8fdaf7fd..c7506de4f 100644 --- a/src/main/signal_handlers.h +++ b/src/main/signal_handlers.h @@ -14,8 +14,8 @@ ** Implementation of signal handlers. **/ -#ifndef CVC4__MAIN__SIGNAL_HANDLERS_H -#define CVC4__MAIN__SIGNAL_HANDLERS_H +#ifndef CVC5__MAIN__SIGNAL_HANDLERS_H +#define CVC5__MAIN__SIGNAL_HANDLERS_H namespace cvc5 { namespace main { @@ -43,4 +43,4 @@ void cleanup(); } // namespace main } // namespace cvc5 -#endif /* CVC4__MAIN__SIGNAL_HANDLERS_H */ +#endif /* CVC5__MAIN__SIGNAL_HANDLERS_H */ diff --git a/src/main/time_limit.h b/src/main/time_limit.h index ce55523f1..1e87a21bc 100644 --- a/src/main/time_limit.h +++ b/src/main/time_limit.h @@ -14,8 +14,8 @@ ** Implementation of time limits that are imposed by the --tlimit option. **/ -#ifndef CVC4__MAIN__TIME_LIMIT_H -#define CVC4__MAIN__TIME_LIMIT_H +#ifndef CVC5__MAIN__TIME_LIMIT_H +#define CVC5__MAIN__TIME_LIMIT_H #include "options/options.h" @@ -49,4 +49,4 @@ TimeLimit install_time_limit(const Options& opts); } // namespace main } // namespace cvc5 -#endif /* CVC4__MAIN__TIME_LIMIT_H */ +#endif /* CVC5__MAIN__TIME_LIMIT_H */ |