From b266af3e08390d1cd3f381adfd35d5966d56337b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 10 Jun 2017 10:51:09 -0700 Subject: [PATCH] atomic Signed-off-by: Nikolaj Bjorner --- src/cmd_context/basic_cmds.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd_context/basic_cmds.cpp b/src/cmd_context/basic_cmds.cpp index f46e0d8ff..9886cc100 100644 --- a/src/cmd_context/basic_cmds.cpp +++ b/src/cmd_context/basic_cmds.cpp @@ -214,7 +214,7 @@ static void print_core(cmd_context& ctx) { ctx.regular_stream() << ")" << std::endl; } -TOMIC_CMD(get_unsat_core_cmd, "get-unsat-core", "retrieve unsat core", { +ATOMIC_CMD(get_unsat_core_cmd, "get-unsat-core", "retrieve unsat core", { if (!ctx.produce_unsat_cores()) throw cmd_exception("unsat core construction is not enabled, use command (set-option :produce-unsat-cores true)"); if (!ctx.has_manager() ||