# HG changeset patch
# User wenzelm
# Date 1579435040 -3600
# Node ID d7f8ee80ad4233d0cba5644e509e80645cd7d484
# Parent  fce780f9c9c6a0e94082c385a108bce69504aa5f# Parent  933ad2385480c08cae5dca1d0366a61919e34a0c
merged

diff -r fce780f9c9c6 -r d7f8ee80ad42 src/HOL/Tools/Quickcheck/exhaustive_generators.ML
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Sun Jan 19 07:50:35 2020 +0100
+++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Sun Jan 19 12:57:20 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
 (