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