diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # language-ats
 
+## 1.7.1.1
+
+  * Bugfix in how `val`s were handled
+
 ## 1.7.1.0
 
   * Fix a bug in how `val`s were handled in `SATS` files
diff --git a/language-ats.cabal b/language-ats.cabal
--- a/language-ats.cabal
+++ b/language-ats.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: language-ats
-version: 1.7.1.0
+version: 1.7.1.1
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018-2019 Vanessa McHale
diff --git a/src/Language/ATS/PrettyPrint.hs b/src/Language/ATS/PrettyPrint.hs
--- a/src/Language/ATS/PrettyPrint.hs
+++ b/src/Language/ATS/PrettyPrint.hs
@@ -614,7 +614,8 @@
     pretty (PrVar p (Just e) (Just t))      = "prvar" <+> pretty p <+> ":" <+> pretty t <+> "=" <+> pretty e
     pretty PrVar{}                          = undefined
     pretty (AndDecl t p e)                  = "and" <+> pretty p <> valSig t <+> "=" <+> pretty e
-    pretty (Val a t p e)                    = "val" <> pretty a <+> pretty p <> valSig t <+> "=" <+> pretty e
+    pretty (Val a t p (Just e))             = "val" <> pretty a <+> pretty p <> valSig t <+> "=" <+> pretty e
+    pretty (Val a t p Nothing)              = "val" <> pretty a <+> pretty p <> valSig t
     pretty (Var t p Nothing (Just e))       = "var" <+> pretty p <> valSig t <+> "with" <+> pretty e
     pretty (Var t p (Just e) Nothing)       = "var" <+> pretty p <> valSig t <+> "=" <+> pretty e
     pretty (Var t p Nothing Nothing)        = "var" <+> pretty p <> valSig t
diff --git a/test/data/dlist.out b/test/data/dlist.out
--- a/test/data/dlist.out
+++ b/test/data/dlist.out
@@ -6,4 +6,4 @@
 
 fn singleton {a:t@ype} (a) : dlist(a)
 
-val empty{a:t@ype}: dlist(a) = 
+val empty{a:t@ype}: dlist(a)