From fe76e2ad510ec9e4df965a9620f8d36778222c08 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 28 Jul 2017 23:46:38 +0200
Subject: Add globals on A-stack

---
 Sil/Util/Printer.icl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Sil/Util')

diff --git a/Sil/Util/Printer.icl b/Sil/Util/Printer.icl
index 3ed15fb..55c2498 100644
--- a/Sil/Util/Printer.icl
+++ b/Sil/Util/Printer.icl
@@ -68,9 +68,9 @@ where
 
 instance PrettyPrinter Program
 where
-	print st prog = p st prog.p_funs
+	print st prog = p st prog.p_globals <+ "\r\n" <+ p st prog.p_funs
 	where
-		p :: PrintState [Function] -> String
+		p :: PrintState [a] -> String | PrettyPrinter a
 		p _  []     = ""
 		p st [f]    = print st f
 		p st [f:fs] = print st f <+ "\r\n\r\n" <+ p st fs
-- 
cgit v1.2.3