Skip to content

Commit a9abc16

Browse files
FrNecasFrNecas
committed
Version 0.9.2
Signed-off-by: František Nečas <[email protected]>
1 parent c47d3dd commit a9abc16

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/2ls/version.h

+1-1
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.9.1"
15+
#define TWOLS_VERSION "0.9.2"
1616

1717
#endif

0 commit comments

Comments
 (0)