diff options
Diffstat (limited to 'libs/ezsat/ezminisat.h')
| -rw-r--r-- | libs/ezsat/ezminisat.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h index ac9c071c3..5b5252d88 100644 --- a/libs/ezsat/ezminisat.h +++ b/libs/ezsat/ezminisat.h @@ -51,9 +51,11 @@ private: std::set<int> cnfFrozenVars; #endif +#ifndef _WIN32 static ezMiniSAT *alarmHandlerThis; static clock_t alarmHandlerTimeout; static void alarmHandler(int); +#endif public: ezMiniSAT(); |