cppcheck/externals/z3_version_old.h

13 lines
178 B
C
Raw Normal View History

2020-05-12 16:57:07 +02:00
#ifndef Z3_MAJOR_VERSION
#define Z3_MAJOR_VERSION 0
#endif
#ifndef Z3_MINOR_VERSION
#define Z3_MINOR_VERSION 0
#endif
#ifndef Z3_BUILD_NUMBER
#define Z3_BUILD_NUMBER 0
#endif