From 55e9692bcb0757a3f7b66634238669db5cbed02a Mon Sep 17 00:00:00 2001
From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Sat, 17 Mar 2018 18:04:07 +0000
Subject: [PATCH] Up version number

---
 CHANGELOG.md                | 3 +++
 ghc-typelits-knownnat.cabal | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b06e938..3f29c3a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Changelog for the [`ghc-typelits-knownnat`](http://hackage.haskell.org/package/ghc-typelits-knownnat) package
 
+## 0.4.1 *March 17th, 2018*
+* Add support for GHC 8.4.1
+
 ## 0.4 *January 4th, 2018*
 * Add partial GHC 8.4.1-alpha1 support
 * Drop `singletons` dependency [#15](https://github.com/clash-lang/ghc-typelits-knownnat/issues/15)
diff --git a/ghc-typelits-knownnat.cabal b/ghc-typelits-knownnat.cabal
index 7c610ed..9f804c0 100644
--- a/ghc-typelits-knownnat.cabal
+++ b/ghc-typelits-knownnat.cabal
@@ -1,5 +1,5 @@
 name:                ghc-typelits-knownnat
-version:             0.4
+version:             0.4.1
 synopsis:            Derive KnownNat constraints from other KnownNat constraints
 description:
   A type checker plugin for GHC that can derive \"complex\" @KnownNat@