Skip to content

Commit

Permalink
bumped version
Browse files Browse the repository at this point in the history
  • Loading branch information
Armin Biere committed Oct 2, 2023
1 parent 29cd4cb commit 4b4ff19
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.7.3
1.7.5
2 changes: 1 addition & 1 deletion src/version.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@

#ifdef NBUILD
#ifndef VERSION
#define VERSION "1.7.3"
#define VERSION "1.7.5"
#endif // VERSION
#endif // NBUILD

Expand Down

0 comments on commit 4b4ff19

Please sign in to comment.