# HG changeset patch
# User haftmann
# Date 1497938516 -7200
# Node ID 28e782dd02788e56655aff953c038cfaa3b2c257
# Parent  7f00885715766d30e4c08006fdc2c81caf6c9381
tuned whitespace

diff -r 7f0088571576 -r 28e782dd0278 src/Pure/Isar/code.ML
--- a/src/Pure/Isar/code.ML	Tue Jun 20 08:01:56 2017 +0200
+++ b/src/Pure/Isar/code.ML	Tue Jun 20 08:01:56 2017 +0200
@@ -165,6 +165,7 @@
 fun case_consts_of (Constructors (_, case_consts)) = case_consts
   | case_consts_of (Abstractor _) = [];
 
+
 (* functions *)
 
 datatype fun_spec = Eqns_Default of (thm * bool) list * (thm * bool) list lazy