Mercurial > urweb
changeset 1237:a9c200f73f24
More descriptive info flow error message
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 13 Apr 2010 16:36:16 -0400 (2010-04-13) |
parents | d5ecceb7d1a1 |
children | d6938ab3b5ae |
files | src/iflow.sml |
diffstat | 1 files changed, 2 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/src/iflow.sml Tue Apr 13 16:30:46 2010 -0400 +++ b/src/iflow.sml Tue Apr 13 16:36:16 2010 -0400 @@ -1282,7 +1282,8 @@ 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