From af9a90a1b3df29f7955d255aff1fd26e9957018d Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 29 Mar 2012 19:38:42 +0000
Subject: Fixes a linking problem with the new SatSolverConstructor on Mac.

---
 src/prop/bvminisat/bvminisat.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/prop/bvminisat/bvminisat.h')

diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index d192b34b7..4ca1164c0 100644
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -79,8 +79,6 @@ public:
   Statistics d_statistics;
 };
 
-template class SatSolverConstructor<BVMinisatSatSolver>;
-
 }
 }
 
-- 
cgit v1.2.3