projects
/
gringo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5410a7d
)
bump CLINGO_VERSION to 5.4.1
author
Thomas Krennwallner
<tkren@kr.tuwien.ac.at>
Sun, 27 Dec 2020 14:52:06 +0000
(14:52 +0000)
committer
Thomas Krennwallner
<tkren@kr.tuwien.ac.at>
Mon, 28 Dec 2020 12:50:01 +0000
(12:50 +0000)
Last-Update: 2020-12-27
Forwarded: no
upstream forgot to bump revision+1
Gbp-Pq: Name bump-version-5.4.1.patch
libclingo/clingo.h
patch
|
blob
|
history
diff --git
a/libclingo/clingo.h
b/libclingo/clingo.h
index 51fa1652d89588a129bf69838a55ef16c28cf96b..3d83976f443e370174a19d743f99520369494acc 100644
(file)
--- a/
libclingo/clingo.h
+++ b/
libclingo/clingo.h
@@
-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;