--- a/src/HOL/Hoare/HoareAbort.thy Fri Oct 07 22:59:17 2005 +0200
+++ b/src/HOL/Hoare/HoareAbort.thy Fri Oct 07 22:59:18 2005 +0200
@@ -103,7 +103,7 @@
| com_tr t _ = t (* if t is just a Free/Var *)
*}
-(* triple_tr *)
+(* triple_tr *) (* FIXME does not handle "_idtdummy" *)
ML{*
local