From df3842b263a180df83ee60a85a499b0322c36e8e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 13 Apr 2010 16:36:16 -0400 Subject: More descriptive info flow error message --- src/iflow.sml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/iflow.sml') 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 -- cgit v1.2.3