diff options
Diffstat (limited to 'src/prop/cryptominisat/Solver/ClauseOffset.h')
-rw-r--r-- | src/prop/cryptominisat/Solver/ClauseOffset.h | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/prop/cryptominisat/Solver/ClauseOffset.h b/src/prop/cryptominisat/Solver/ClauseOffset.h deleted file mode 100644 index 352cda45e..000000000 --- a/src/prop/cryptominisat/Solver/ClauseOffset.h +++ /dev/null @@ -1,16 +0,0 @@ -#ifndef CLAUSEOFFSET_H -#define CLAUSEOFFSET_H - -#ifdef _MSC_VER -#include <msvc/stdint.h> -#else -#include <stdint.h> -#endif //_MSC_VER - -namespace CMSat { - -typedef uint32_t ClauseOffset; - -} - -#endif //CLAUSEOFFSET_H |