diff --git a/src/util/lp/lar_solver_instances.cpp b/src/util/lp/lar_solver_instances.cpp
deleted file mode 100644
index 2c8747ad4..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.hpp"
-
-template void  lp::lar_solver::copy_from_mpq_matrix<double,double>(class lp::static_matrix<double,double> &);
-
-
-
-
-