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() ||