summaryrefslogtreecommitdiff
path: root/src/mono_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r--src/mono_print.sml12
1 files changed, 7 insertions, 5 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml
index 693b5e3e..74467e08 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -429,11 +429,13 @@ fun p_policy env pol =
| PolSequence e => box [string "sendOwnIds",
space,
p_exp env e]
- | PolEqualKnown {table = tab, field = nm} => box [string "equalKnown[",
- string nm,
- string "]",
- space,
- p_exp env tab]
+ | PolEqual {table = tab, field = nm, known} => box [string "equal",
+ string (if known then "Known" else "Any"),
+ string "[",
+ string nm,
+ string "]",
+ space,
+ p_exp env tab]
fun p_decl env (dAll as (d, _) : decl) =
case d of