diff options
Diffstat (limited to 'src/sat/fraig/fraig.h')
| -rw-r--r-- | src/sat/fraig/fraig.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/sat/fraig/fraig.h b/src/sat/fraig/fraig.h index 7f15c58f..7e595390 100644 --- a/src/sat/fraig/fraig.h +++ b/src/sat/fraig/fraig.h @@ -27,7 +27,11 @@ extern "C" { /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "solver.h" +#ifdef _WIN32 +typedef signed __int64 sint64; // compatible with MS VS 6.0 +#else +typedef long long sint64; +#endif //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// |