summaryrefslogtreecommitdiff
path: root/src/main/command_executor.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/command_executor.h')
-rw-r--r--src/main/command_executor.h6
1 files changed, 3 insertions, 3 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 */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback