# HG changeset patch
# User ballarin
# Date 1152257045 -7200
# Node ID 28fcbcf49fe591d4a322c2514182f784345ba853
# Parent  2b8dbb637792f26f692d12afa3dcbc220d70a8c4
Modified comment.

diff -r 2b8dbb637792 -r 28fcbcf49fe5 src/FOL/ex/LocaleTest.thy
--- a/src/FOL/ex/LocaleTest.thy	Fri Jul 07 02:12:52 2006 +0200
+++ b/src/FOL/ex/LocaleTest.thy	Fri Jul 07 09:24:05 2006 +0200
@@ -54,7 +54,7 @@
   assumes hom: "h(x ** y) = h(x) ++ h(y)"
 
 (*
-Graceful handling of type errors?
+FIXME: graceful handling of type errors?
 locale LY = LT mult (infixl "**" 60) + LT add (binder "++" 55) + var h +
   assumes "mult(x) == add"
 *)