diff --git a/src/util/lp/CMakeLists.txt b/src/util/lp/CMakeLists.txt
index c67c55759..bde6ed93a 100644
--- a/src/util/lp/CMakeLists.txt
+++ b/src/util/lp/CMakeLists.txt
@@ -1,6 +1,5 @@
 z3_add_component(lp
   SOURCES
-    lp_utils.cpp
     binary_heap_priority_queue.cpp
     binary_heap_upair_queue.cpp
     bound_propagator.cpp
@@ -19,15 +18,16 @@ z3_add_component(lp
     lp_settings.cpp
     lp_solver.cpp
     lu.cpp
+    lp_utils.cpp
     matrix.cpp
     nra_solver.cpp
     permutation_matrix.cpp
+    random_updater.cpp      
     row_eta_matrix.cpp
     scaler.cpp
-    square_sparse_matrix.cpp
     square_dense_submatrix.cpp
+    square_sparse_matrix.cpp
     static_matrix.cpp
-    random_updater.cpp      
   COMPONENT_DEPENDENCIES
     util
     polynomial
diff --git a/src/util/lp/lar_solver_instances.cpp b/src/util/lp/lar_solver_instances.cpp
deleted file mode 100644
index 602df0326..000000000
--- a/src/util/lp/lar_solver_instances.cpp
+++ /dev/null
@@ -1,13 +0,0 @@
-/*
-  Copyright (c) 2017 Microsoft Corporation
-  Author: Lev Nachmanson
-*/
-
-#include "util/lp/lar_solver.cpp"
-
-template void  lp::lar_solver::copy_from_mpq_matrix<double,double>(class lp::static_matrix<double,double> &);
-
-
-
-
-