# HG changeset patch
# User wenzelm
# Date 1579276772 -3600
# Node ID 933ad2385480c08cae5dca1d0366a61919e34a0c
# Parent  5556ae257df9361da939930c1a1cbecfc2ec9292
tuned spelling;

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
 (