Skip to content

Commit

Permalink
bumped version
Browse files Browse the repository at this point in the history
  • Loading branch information
arminbiere committed Jan 4, 2024
1 parent 9544732 commit e71bd58
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.9.3
1.9.4
2 changes: 1 addition & 1 deletion src/version.cpp
Original file line number Diff line number Diff line change
@@ -24,7 +24,7 @@

#ifdef NBUILD
#ifndef VERSION
#define VERSION "1.9.3"
#define VERSION "1.9.4"
#endif // VERSION
#endif // NBUILD

0 comments on commit e71bd58

Please sign in to comment.