diff -r 5556ae257df9 -r 933ad2385480 src/HOL/Tools/Quickcheck/exhaustive_generators.ML
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Thu Jan 16 17:04:42 2020 +0100
+++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Jan 17 16:59:32 2020 +0100
@@ -443,7 +443,7 @@
   in HOLogic.mk_comp (wrap, mk_validator_expr ctxt t) end
 
 
-(** generator compiliation **)
+(** generator compilation **)
 
 structure Data = Proof_Data
 (