summaryrefslogtreecommitdiff
blob: 8015e3ceb1e488028b654c9bf12fe798b6b76006 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
--- a/link-grammar/minisat/minisat/utils/System.h
+++ b/link-grammar/minisat/minisat/utils/System.h
@@ -21,10 +21,6 @@
 #ifndef Minisat_System_h
 #define Minisat_System_h
 
-#if defined(__linux__)
-#include <fpu_control.h>
-#endif
-
 #include "minisat/mtl/IntTypes.h"
 
 //-------------------------------------------------------------------------------------------------