From 30eeaff2c92fb1d0ba029a7688fc7b547a60c150 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 12 Apr 2009 10:08:11 -0400
Subject: style declarations

---
 src/mono_print.sml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index c75e81ba..3870ce41 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -440,6 +440,14 @@ fun p_decl env (dAll as (d, _) : decl) =
                               string s,
                               string ")"]
 
+      | DStyle (s, xs) => box [string "style",
+                               space,
+                               string s,
+                               space,
+                               string ":",
+                               space,
+                               p_list string xs]
+
                           
 fun p_file env file =
     let
-- 
cgit v1.2.3