mirror of https://github.com/YosysHQ/yosys.git
- libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
This commit is contained in:
parent
f7c2cf6fe2
commit
40e0b79495
|
@ -19,10 +19,11 @@
|
|||
|
||||
#include "ezsat.h"
|
||||
|
||||
#include <cmath>
|
||||
#include <algorithm>
|
||||
#include <cassert>
|
||||
|
||||
#include <stdlib.h>
|
||||
#include <assert.h>
|
||||
|
||||
const int ezSAT::TRUE = 1;
|
||||
const int ezSAT::FALSE = 2;
|
||||
|
|
Loading…
Reference in New Issue