Skip to content

Commit

Permalink
bump version
Browse files Browse the repository at this point in the history
  • Loading branch information
rkaminsk committed Sep 7, 2019
1 parent ce4c21b commit e572887
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions libclingo/clingo.h
Original file line number Diff line number Diff line change
Expand Up @@ -113,9 +113,9 @@ extern "C" {
//! Minor version number.
#define CLINGO_VERSION_MINOR 4
//! Revision number.
#define CLINGO_VERSION_REVISION 0
#define CLINGO_VERSION_REVISION 1
//! String representation of version.
#define CLINGO_VERSION "5.4.0"
#define CLINGO_VERSION "5.4.1"

//! Signed integer type used for aspif and solver literals.
typedef int32_t clingo_literal_t;
Expand Down

0 comments on commit e572887

Please sign in to comment.