From e5ae1b941344a06ef389833da1d864d0250dee16 Mon Sep 17 00:00:00 2001
From: Leonid Ryzhyk <lryzhyk@vmware.com>
Date: Mon, 29 Jul 2019 09:09:29 -0700
Subject: [PATCH] v0.7.1 -> v0.7.2

---
 src/Language/DifferentialDatalog/Version.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs
index 31ea6e744..d70f86917 100644
--- 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