diff --git a/src/library/CMakeLists.txt b/src/library/CMakeLists.txt
index 4669d083d..17c6f8dfe 100644
--- a/src/library/CMakeLists.txt
+++ b/src/library/CMakeLists.txt
@@ -16,4 +16,4 @@ add_library(library OBJECT deep_copy.cpp expr_lt.cpp io_state.cpp occurs.cpp
   relation_manager.cpp export.cpp user_recursors.cpp
   class_instance_synth.cpp idx_metavar.cpp composition_manager.cpp
   tc_multigraph.cpp noncomputable.cpp aux_recursors.cpp norm_num.cpp
-  decl_stats.cpp meng_paulson.cpp class_instance_resolution.cpp)
+  decl_stats.cpp meng_paulson.cpp)