--- 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"
 
 //-------------------------------------------------------------------------------------------------