diff --git a/Changes.md b/Changes.md
--- a/Changes.md
+++ b/Changes.md
@@ -1,5 +1,11 @@
 # Change log for the `llvm-tf` package
 
+## 3.1.0.1
+
+* `addFunctionMapping` checks for functions
+  that are eliminated by optimization passes.
+  This fixes a crash when working with optimizations and call-back functions.
+
 ## 3.1
 
 * `ExecutionEngine` is now managed by a `ForeignPtr` with a finalizer.
diff --git a/llvm-tf.cabal b/llvm-tf.cabal
--- a/llvm-tf.cabal
+++ b/llvm-tf.cabal
@@ -1,5 +1,5 @@
 Name:          llvm-tf
-Version:       3.1.0.1
+Version:       3.1.0.2
 License:       BSD3
 License-File:  LICENSE
 Synopsis:      Bindings to the LLVM compiler toolkit using type families.
@@ -39,7 +39,7 @@
   Location: http://code.haskell.org/~thielema/llvm-tf/
 
 Source-Repository this
-  Tag:      3.1.0.1
+  Tag:      3.1.0.2
   Type:     darcs
   Location: http://code.haskell.org/~thielema/llvm-tf/