Skip to content

Commit 40c0854

Browse files
peterschrammelpeterschrammel
committed
Version 0.7
1 parent e5ee8e7 commit 40c0854

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/2ls/version.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,6 @@ Author: Peter Schrammel
99
#ifndef CPROVER_2LS_2LS_VERSION_H
1010
#define CPROVER_2LS_2LS_VERSION_H
1111

12-
#define TWOLS_VERSION "0.6.0"
12+
#define TWOLS_VERSION "0.7.0"
1313

1414
#endif

0 commit comments

Comments
 (0)