updated bill to improve compatibility with Alpine Linux (lsils#410)

fstal99 · Dec 16, 2020 · de9464d · de9464d
1 parent d43b0d5
commit de9464d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/lib/bill/bill/sat/solver/ghack.hpp b/lib/bill/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
-
 
 
 //-------------------------------------------------------------------------------------------------