src/Pure/raw_simplifier.ML

--- a/src/Pure/raw_simplifier.ML	Mon Oct 08 15:42:43 2018 +0200
+++ b/src/Pure/raw_simplifier.ML	Mon Oct 08 17:12:28 2018 +0200
@@ -569,7 +569,7 @@
     val Simpset (_, {mk_rews = {mk, ...}, ...}) = simpset_of ctxt;
     val mk =
       if sym then fn ctxt => fn th => (mk ctxt th) RL [Drule.symmetric_thm]
-      else mk  
+      else mk
   in maps (fn thm => map (rpair (Thm.get_name_hint thm)) (mk ctxt thm)) thms
   end;