Bump version to 0.25.3.

vmware · Jul 31, 2020 · 1d16ace · 1d16ace
1 parent deffc2a
commit 1d16ace
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs
@@ -32,7 +32,7 @@ import GitHash
 
 -- Keep this in sync with the binary release version on github
 dDLOG_VERSION :: String
-dDLOG_VERSION = "v0.25.2"
+dDLOG_VERSION = "v0.25.3"
 
 gitHash :: String
 gitHash = giHash $$tGitInfoCwd