From 7a4a2b6b5bf97b68b8f4c38ee1e201ea3fc5540a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 7 Feb 2018 15:51:22 -0800
Subject: [PATCH] remove file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/lp/lar_solver_instances.cpp | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 src/util/lp/lar_solver_instances.cpp

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> &);
-
-
-
-
-