diff --git a/contrib/cmake/src/test/CMakeLists.txt b/contrib/cmake/src/test/CMakeLists.txt
index ba9ae785d..b395c09e6 100644
--- a/contrib/cmake/src/test/CMakeLists.txt
+++ b/contrib/cmake/src/test/CMakeLists.txt
@@ -130,13 +130,5 @@ target_include_directories(test-z3 PRIVATE ${Z3_COMPONENT_EXTRA_INCLUDE_DIRS})
 z3_append_linker_flag_list_to_target(test-z3 ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})
 z3_add_component_dependencies_to_target(test-z3 ${z3_test_expanded_deps})
 
-add_executable(lp_tst lp_main.cpp lp.cpp $<TARGET_OBJECTS:util>   $<TARGET_OBJECTS:lp>)
-target_compile_definitions(lp_tst PRIVATE ${Z3_COMPONENT_CXX_DEFINES})
-target_compile_options(lp_tst PRIVATE ${Z3_COMPONENT_CXX_FLAGS})
-target_include_directories(lp_tst PRIVATE ${Z3_COMPONENT_EXTRA_INCLUDE_DIRS})
-target_link_libraries(lp_tst PRIVATE ${Z3_DEPENDENT_LIBS})
-z3_append_linker_flag_list_to_target(lp_tst ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})
-
-
 
 
diff --git a/src/test/lp_main.cpp b/src/test/lp_main.cpp
deleted file mode 100644
index a301f38c6..000000000
--- a/src/test/lp_main.cpp
+++ /dev/null
@@ -1,14 +0,0 @@
-void        gparams_register_modules(){}
-void mem_initialize() {}
-void mem_finalize() {}
-#include "util/rational.h"
-namespace lean {
-void test_lp_local(int argc, char**argv);
-}
-int main(int argn, char**argv){
-    rational::initialize();
-    lean::test_lp_local(argn, argv);
-    rational::finalize();
-    return 0;
-}
-