removed '#include <fpu_control.h>' since it's not used (#42)

lsils · Dec 16, 2020 · b732aa5 · b732aa5
1 parent c0089e1
commit b732aa5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/include/bill/sat/solver/ghack.hpp b/include/bill/sat/solver/ghack.hpp
@@ -1472,10 +1472,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #ifndef Ghack_System_h
 #define Ghack_System_h
 
-#if defined(__linux__)
-#include <fpu_control.h>
-#endif
-
 
 
 //-------------------------------------------------------------------------------------------------