From 1d7e3b4a9eeef75c958dd04ffb224b7df64ba088 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 17 Sep 2009 20:09:22 +0000
Subject: [PATCH] fix in GF.Grammar.Printer

---
 src/GF/Grammar/Printer.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs
index 9e760b4fd..6a09548cd 100644
--- a/src/GF/Grammar/Printer.hs
+++ b/src/GF/Grammar/Printer.hs
@@ -86,6 +86,7 @@ ppJudgement q (id, AbsFun ptype _ pexp) =
      Just typ   -> text "fun" <+> ppIdent id <+> colon <+> ppTerm q 0 typ <+> semi
      Nothing    -> empty) $$
   (case pexp of
+     Just []  -> empty
      Just eqs -> text "def" <+> vcat [ppIdent id <+> hsep (map (ppPatt q 2) ps) <+> equals <+> ppTerm q 0 e <+> semi | (ps,e) <- eqs]
      Nothing  -> empty)
 ppJudgement q (id, ResParam pparams) =