diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
--- a/liquidhaskell.cabal
+++ b/liquidhaskell.cabal
@@ -1,5 +1,5 @@
 Name:                liquidhaskell
-Version:             0.4.1.0
+Version:             0.4.1.1
 Copyright:           2010-15 Ranjit Jhala, University of California, San Diego.
 build-type:          Simple
 Synopsis:            Liquid Types for Haskell 
diff --git a/src/Language/Haskell/Liquid/Bare/GhcSpec.hs b/src/Language/Haskell/Liquid/Bare/GhcSpec.hs
--- a/src/Language/Haskell/Liquid/Bare/GhcSpec.hs
+++ b/src/Language/Haskell/Liquid/Bare/GhcSpec.hs
@@ -157,7 +157,10 @@
 makeGhcSpec2 invs ialias measures su sp
   = return $ sp { invariants = subst su invs
                 , ialiases   = subst su ialias
-                , measures   = subst su <$> M.elems $ Ms.measMap measures }
+                , measures   = subst su
+                                 <$> M.elems (Ms.measMap measures)
+                                  ++ Ms.imeas measures
+                }
 
 makeGhcSpec3 datacons tycons embs syms sp
   = do tcEnv       <- gets tcEnv