src/HOL/Tools/Quickcheck/abstract_generators.ML

--- a/src/HOL/Tools/Quickcheck/abstract_generators.ML	Tue Feb 23 16:25:08 2016 +0100
+++ b/src/HOL/Tools/Quickcheck/abstract_generators.ML	Tue Feb 23 16:41:14 2016 +0100
@@ -75,4 +75,4 @@
       >> (fn ((tyco, opt_pred), constrs) =>
         Toplevel.theory (quickcheck_generator_cmd tyco opt_pred constrs)))
 
-end;
\ No newline at end of file
+end;