src/HOL/ex/ML.thy

--- a/src/HOL/ex/ML.thy	Sun Mar 02 18:41:41 2014 +0100
+++ b/src/HOL/ex/ML.thy	Sun Mar 02 19:00:45 2014 +0100
@@ -104,7 +104,7 @@
 *}
 
 text {*
-  The @{ML_struct Par_List} module provides high-level combinators for
+  The @{ML_structure Par_List} module provides high-level combinators for
   parallel list operations. *}
 
 ML {* timeit (fn () => map (fn n => ackermann 3 n) (1 upto 10)) *}