diff --git a/ivory-opts.cabal b/ivory-opts.cabal
--- a/ivory-opts.cabal
+++ b/ivory-opts.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory-opts
-version:             0.1.0.4
+version:             0.1.0.5
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 category:            Language
diff --git a/src/Ivory/Opts/SanityCheck.hs b/src/Ivory/Opts/SanityCheck.hs
--- a/src/Ivory/Opts/SanityCheck.hs
+++ b/src/Ivory/Opts/SanityCheck.hs
@@ -326,6 +326,8 @@
       -> text "ConstRef" <+> pretty ref
     I.TyPtr ptr
       -> text "Ptr" <+> pretty ptr
+    I.TyConstPtr ptr
+      -> text "ConstPtr" <+> pretty ptr
     I.TyArr n t
       -> text "Array" <+> pretty n <+> pretty t
     I.TyStruct s
@@ -334,4 +336,3 @@
       -> text "CArray" <+> pretty t
     I.TyOpaque
       -> text "Opaque"
-