From 45f4d6c7e8678e140b363f3114b5393ed1f29681 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Feb 2017 13:55:41 -0800 Subject: Movinng custom floating-point implementations, etc. --- src/sat/bsat/satSolver.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/sat/bsat/satSolver.h') diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index 226d8c7a..21f24fcb 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -30,7 +30,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include "satVec.h" #include "satClause.h" -#include "sat/xsat/xsatFloat.h" +#include "misc/util/utilFloat.h" +#include "misc/util/utilDouble.h" ABC_NAMESPACE_HEADER_START -- cgit v1.2.3