From 412e922917269f2c71c9ac0d7c5b1cbd25b06751 Mon Sep 17 00:00:00 2001
From: Anand <anandtrex@users.noreply.github.com>
Date: Wed, 7 Mar 2018 16:11:17 +0100
Subject: [PATCH] Bumping version number

---
 ltl/version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ltl/version.py b/ltl/version.py
index a1deb4d6..dbe6bbcb 100644
--- a/ltl/version.py
+++ b/ltl/version.py
@@ -1,2 +1,2 @@
 MAJOR_VERSION = "0.4"
-FULL_VERSION = "0.4.1"
+FULL_VERSION = "0.4.2"