From 23dccdc7d519a86d779ae8b582663885e4548520 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 25 Apr 2014 21:54:08 +0100
Subject: [PATCH] compilation fix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/tactic/sls/sls_engine.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/sls/sls_engine.cpp b/src/tactic/sls/sls_engine.cpp
index 67dba0237..5b32e5790 100644
--- a/src/tactic/sls/sls_engine.cpp
+++ b/src/tactic/sls/sls_engine.cpp
@@ -16,6 +16,7 @@ Author:
 Notes:
 
 --*/
+#include<float.h>
 #include<iomanip>
 
 #include"map.h"