--- a/src/mono_print.sml	Sat Apr 17 13:57:10 2010 -0400
+++ b/src/mono_print.sml	Thu May 06 13:57:01 2010 -0400
@@ -412,6 +412,24 @@
                         cons]
     end
 
+fun p_policy env pol =
+    case pol of
+        PolClient e => box [string "sendClient",
+                            space,
+                            p_exp env e]
+      | PolInsert e => box [string "mayInsert",
+                            space,
+                            p_exp env e]
+      | PolDelete e => box [string "mayDelete",
+                            space,
+                            p_exp env e]
+      | PolUpdate e => box [string "mayUpdate",
+                            space,
+                            p_exp env e]
+      | PolSequence e => box [string "sendOwnIds",
+                              space,
+                              p_exp env e]
+
 fun p_decl env (dAll as (d, _) : decl) =
     case d of
         DDatatype x => box [string "datatype",
@@ -506,6 +524,9 @@
                                string "=",
                                space,
                                p_exp env e2]
+      | DPolicy p => box [string "policy",
+                          space,
+                          p_policy env p]
 
                           
 fun p_file env file =