diff --git a/safe-coupling.cabal b/safe-coupling.cabal
--- a/safe-coupling.cabal
+++ b/safe-coupling.cabal
@@ -1,6 +1,6 @@
 name:                safe-coupling
 category:            Formal Methods
-version:             0.1.0.0
+version:             0.1.0.1
 synopsis:            Relational proof system for probabilistic algorithms 
 description:         Relational proof system for probabilistic algorithms. Supports two proving methods: upper bound Kantorovich distance between two distributions and establish a boolean relation on samples from two distributions (the latter is stronger).
 license:             BSD3
@@ -63,6 +63,7 @@
      , liquid-containers                 >= 0.6.2 && < 0.7
      , liquid-prelude                    >= 0.8.10 && < 0.9
      , probability                       >= 0.2.7 && < 0.3
+     , rest-rewrite                      >= 0.1.1 && < 0.2
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:  -fplugin=LiquidHaskell