diff -r d0fee7263ef1 -r 882e79a01a4f test/Tools/isac/Interpret/inform.sml
--- a/test/Tools/isac/Interpret/inform.sml	Fri Jun 21 08:06:50 2013 +0200
+++ b/test/Tools/isac/Interpret/inform.sml	Fri Jun 21 11:19:18 2013 +0200
@@ -894,6 +894,7 @@
 
 "--------- embed fun check_error_patterns ------------------------";
 "--------- embed fun check_error_patterns ------------------------";
+(*========== inhibit exn WN1130621 Isabelle2012-->13 !thehier! ====================
 "--------- embed fun check_error_patterns ------------------------";
 states:=[];
 CalcTree
@@ -1116,4 +1117,5 @@
   term2str f = "d_d x (x ^^^ 2) + cos (x ^^^ 4) * d_d x (x ^^^ 4)" andalso
   get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], ("diff_sin_chain", ""))
 then () else error "inputFillFormula changed 11";
+============ inhibit exn WN1130621 Isabelle2012-->13 !thehier! ==================*)