Skip to content

Commit 0e2a2ed

Browse files
viktormalikviktormalik
committed
Version 0.9.0
1 parent da93599 commit 0e2a2ed

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
@@ -12,6 +12,6 @@ Author: Peter Schrammel
1212
#ifndef CPROVER_2LS_2LS_VERSION_H
1313
#define CPROVER_2LS_2LS_VERSION_H
1414

15-
#define TWOLS_VERSION "0.8.2"
15+
#define TWOLS_VERSION "0.9.0"
1616

1717
#endif

0 commit comments

Comments
 (0)