src/HOL/Library/Transitive_Closure_Table.thy
changeset 43973 a907e541b127
parent 37589 9c33d02656bc
child 44890 22f665a2e91c
--- a/src/HOL/Library/Transitive_Closure_Table.thy	Mon Jul 25 23:27:20 2011 +0200
+++ b/src/HOL/Library/Transitive_Closure_Table.thy	Tue Jul 26 08:07:00 2011 +0200
@@ -201,7 +201,9 @@
 | "test B A"
 | "test B C"
 
-subsubsection {* Invoking with the SML code generator *}
+subsubsection {* Invoking with the (legacy) SML code generator *}
+
+text {* this test can be removed once the SML code generator is deactivated *}
 
 code_module Test
 contains