Make up to date

1 files changed, 4 insertions, 5 deletions

diff --git a/Sil/Util/Printer.icl b/Sil/Util/Printer.icl
index 283709d..1052a3e 100644
--- a/Sil/Util/Printer.icl
+++ b/Sil/Util/Printer.icl
@@ -10,7 +10,6 @@ import StdString
 
 from Data.Func import $
 import Data.List
-import Data.Maybe
 import Text
 
 import Sil.Parse
@@ -96,8 +95,8 @@ where
 	print st init = st <+ init.init_type <+ " " <+ init.init_name <+ val <+ ";"
 	where
 		val = case init.init_value of
-			Nothing -> ""
-			Just v  -> " := " <+ v
+			?None   -> ""
+			?Just v -> " := " <+ v
 
 instance PrettyPrinter Statement
 where
@@ -106,8 +105,8 @@ where
 		st` = incIndent st
 		oneblock (c,b) = "if (" <+ c <+ ") {\r\n" <+ print st` b <+ "\r\n" <+ st <+ "}"
 		else` = case else of
-			Nothing -> ""
-			Just e  -> " else {\r\n" <+ print st` e <+ "\r\n" <+ st <+ "}"
+			?None   -> ""
+			?Just e -> " else {\r\n" <+ print st` e <+ "\r\n" <+ st <+ "}"
 	print st (While _ c do) = st <+ "while (" <+ c <+ ") {\r\n" <+
 		print (incIndent st) do <+ "\r\n" <+ st <+ "}"
 	print st stm = st <+ stm