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