diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 14:35:59 +0100 |
|---|---|---|
| committer | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 14:35:59 +0100 |
| commit | 40e0b79495195eaa2bc6bf32e8d52a5aa956a2b4 (patch) | |
| tree | d1f93959340c668be543c98b69bfe59e12569a6e | |
| parent | f7c2cf6fe29fc452385c37f015e03febf650ecd3 (diff) | |
| download | yosys-40e0b79495195eaa2bc6bf32e8d52a5aa956a2b4.tar.gz yosys-40e0b79495195eaa2bc6bf32e8d52a5aa956a2b4.tar.bz2 yosys-40e0b79495195eaa2bc6bf32e8d52a5aa956a2b4.zip | |
- libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
| -rw-r--r-- | libs/ezsat/ezsat.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index fb3d24996..6da363fc1 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -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; |