--- a/src/core_print.sml	Sun Apr 05 16:17:32 2009 -0400
+++ b/src/core_print.sml	Tue Apr 07 12:24:31 2009 -0400
@@ -546,17 +546,21 @@
                                 space,
                                 (p_con env (#2 (E.lookupENamed env n))
                                  handle E.UnboundNamed _ => string "UNBOUND")]
-      | DTable (x, n, c, s) => box [string "table",
-                                    space,
-                                    p_named x n,
-                                    space,
-                                    string "as",
-                                    space,
-                                    string s,
-                                    space,
-                                    string ":",
-                                    space,
-                                    p_con env c]
+      | DTable (x, n, c, s, e) => box [string "table",
+                                       space,
+                                       p_named x n,
+                                       space,
+                                       string "as",
+                                       space,
+                                       string s,
+                                       space,
+                                       string ":",
+                                       space,
+                                       p_con env c,
+                                       space,
+                                       string "constraints",
+                                       space,
+                                       p_exp env e]
       | DSequence (x, n, s) => box [string "sequence",
                                     space,
                                     p_named x n,