diff --git a/contrib/cmake/src/smt/CMakeLists.txt b/contrib/cmake/src/smt/CMakeLists.txt
index 035ac07c9..bd8ad3f31 100644
--- a/contrib/cmake/src/smt/CMakeLists.txt
+++ b/contrib/cmake/src/smt/CMakeLists.txt
@@ -43,6 +43,7 @@ z3_add_component(smt
     smt_statistics.cpp
     smt_theory.cpp
     smt_value_sort.cpp
+    smt2_extra_cmds.cpp
     theory_arith.cpp
     theory_array_base.cpp
     theory_array.cpp