ivory-opts 0.1.0.4 → 0.1.0.5

raw patch · 2 files changed

+3/−2 lines, 2 filesdep ~ivory

Dependency ranges changed: ivory

Files

• ivory-opts.cabal +1/−1
• src/Ivory/Opts/SanityCheck.hs +2/−1

@@ -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

@@ -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"-