diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-13 16:36:16 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-13 16:36:16 -0400 |
| commit | df3842b263a180df83ee60a85a499b0322c36e8e (patch) | |
| tree | 96714924f1004212784631e95cb38ee9f07962d8 /src/iflow.sml | |
| parent | c4f4ed6ee7f6fe49d19ca68b9fff6735b8a86fec (diff) | |
More descriptive info flow error message
Diffstat (limited to 'src/iflow.sml')
| -rw-r--r-- | src/iflow.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/iflow.sml b/src/iflow.sml index c8a8df89..d0fc0d80 100644 --- a/src/iflow.sml +++ b/src/iflow.sml @@ -1282,7 +1282,8 @@ fun buildable (e, loc) = val (_, hs) = !hyps in ErrorMsg.errorAt loc "The information flow policy may be violated here."; - Print.preface ("Hypotheses", Print.p_list p_atom hs) + Print.prefaces "Situation" [("Hypotheses", Print.p_list p_atom hs), + ("User learns", p_exp e)] end) end |