cprover
version.h
Go to the documentation of this file.
1 #ifndef CPROVER_MUSKETEER_VERSION_H
2 #define CPROVER_MUSKETEER_VERSION_H
3 
4 #define MUSKETEER_VERSION "0.37"
5 
6 #endif // CPROVER_MUSKETEER_VERSION_H