# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1271190976 14400
# Node ID a9c200f73f240ef4b7a8e6a3184522fbbcce458a
# Parent  d5ecceb7d1a17b5ab4e6dbfed4924109c647447d
More descriptive info flow error message

diff -r d5ecceb7d1a1 -r a9c200f73f24 src/iflow.sml
--- 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