From 7def6556e4edf1d8e8afcb57b8814b8e30b78994 Mon Sep 17 00:00:00 2001
From: Leonid Ryzhyk <lryzhyk@vmware.com>
Date: Sun, 8 Mar 2020 15:40:27 -0700
Subject: [PATCH] Bump version to 0.15.0.

---
 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 206de6b57..51c3dd21f 100644
--- 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.14.3"
+dDLOG_VERSION = "v0.15.0"
 
 gitHash :: String
 gitHash = giHash $$tGitInfoCwd