src/HOL/Tools/Quickcheck/exhaustive_generators.ML
changeset 71394 933ad2385480
parent 70308 7f568724d67e
--- 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
 (