prepare for 0.4.1

c-cube · Aug 29, 2017 · 123f9a4 · 123f9a4
1 parent e16b213
commit 123f9a4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Change Log
 
+## 0.4.1
+
+- bugfix related to De Bruijn indices and function extensionality
+
 ## 0.4
 
 - quantification on datatypes/bool

diff --git a/opam b/opam
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-version: "0.4"
+version: "0.4.1"
 maintainer: "[email protected]"
 author: "Simon Cruanes"
 homepage: "https://github.com/c-cube/smbc"