v0.7.1 -> v0.7.2

vmware · Jul 30, 2019 · e5ae1b9 · e5ae1b9
1 parent 86c9c7a
commit e5ae1b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs
@@ -31,7 +31,7 @@ where
 import GitHash
 
 -- Keep this in sync with the binary release version on github
-dDLOG_VERSION = "v0.7.1"
+dDLOG_VERSION = "v0.7.2"
 
 gitHash :: String
 gitHash = giHash $$tGitInfoCwd