diff --git a/ivory-quickcheck.cabal b/ivory-quickcheck.cabal
--- a/ivory-quickcheck.cabal
+++ b/ivory-quickcheck.cabal
@@ -1,5 +1,5 @@
 name:                ivory-quickcheck
-version:             0.2.0.4
+version:             0.2.0.5
 author:              Galois, Inc.
 copyright:           2013 Galois, Inc.
 maintainer:          leepike@galois.com
diff --git a/src/Ivory/QuickCheck.hs b/src/Ivory/QuickCheck.hs
--- a/src/Ivory/QuickCheck.hs
+++ b/src/Ivory/QuickCheck.hs
@@ -193,11 +193,12 @@
     -> sampleArray m len ty
   I.TyStruct ty
     -> sampleStruct m ty
-  I.TyProc _ _ -> err
-  I.TyVoid     -> err
-  I.TyPtr _    -> err
-  I.TyCArray _ -> err
-  I.TyOpaque   -> err
+  I.TyProc _ _    -> err
+  I.TyVoid        -> err
+  I.TyPtr _       -> err
+  I.TyConstPtr _  -> err
+  I.TyCArray _    -> err
+  I.TyOpaque      -> err
   where
   err = error $ "I don't know how to make values of type '" ++ show t ++ "'!"