From 678eabd616fa5f40882f752a3ca49633b5fe64a9 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Mon, 16 Feb 2009 16:59:29 +0100
Subject: [PATCH] Make the pretty output more pretty.

This prevents an unwanted wrap in the output.
---
 Pretty.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pretty.hs b/Pretty.hs
index 6f5f63d..dd8e4ee 100644
--- a/Pretty.hs
+++ b/Pretty.hs
@@ -84,7 +84,7 @@ instance Pretty FuncData where
 
 instance Pretty Entity where
   pPrint (Entity id args res decl) =
-    text "Entity id: " $$ nest 10 (pPrint id)
+    text "Entity: " $$ nest 10 (pPrint id)
     $+$ text "Args: " $$ nest 10 (pPrint args)
     $+$ text "Result: " $$ nest 10 (pPrint res)
     $+$ ppdecl decl
-- 
2.30.2