Mercurial > urweb
diff src/mono_print.sml @ 1221:00e628854005
Delete policies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 12:38:21 -0400 |
parents | 526575a9537a |
children | 62af4cacd191 |
line wrap: on
line diff
--- a/src/mono_print.sml Sun Apr 11 10:57:52 2010 -0400 +++ b/src/mono_print.sml Sun Apr 11 12:38:21 2010 -0400 @@ -420,6 +420,9 @@ | PolInsert e => box [string "mayInsert", space, p_exp env e] + | PolDelete e => box [string "mayDelete", + space, + p_exp env e] fun p_decl env (dAll as (d, _) : decl) = case d of