From f4ce2bcbfe326796466e52585d3810291d3e33e5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 19 Oct 2015 17:56:24 -0700 Subject: [PATCH] fix(library/CMakeLists): build --- src/library/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)