# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1510151474 -3600
# Node ID ed499d1252fc6013885207d63e822d137abe980f
# Parent  22a47374a20525439b07b1a8ed2a7781792c54c7
strip some trailing spaces to force Pure rebuild after ce6454669360

diff -r 22a47374a205 -r ed499d1252fc src/Pure/Isar/code.ML
--- a/src/Pure/Isar/code.ML	Tue Nov 07 21:46:28 2017 +0100
+++ b/src/Pure/Isar/code.ML	Wed Nov 08 15:31:14 2017 +0100
@@ -805,7 +805,7 @@
   apfst (meta_rewrite thy)
   #> generic_assert_eqn strictness thy false
   #> Option.map (fn eqn => (const_eqn thy (fst eqn), eqn));
-  
+
 fun prep_eqns strictness thy =
   map_filter (prep_eqn strictness thy)
   #> AList.group (op =);
@@ -1273,7 +1273,7 @@
         thy
         |> Sign.root_path
         |> Sign.add_path (Long_Name.qualifier tyco)
-        |> f tyco 
+        |> f tyco
         |> Sign.restore_naming thy));
 
 fun datatype_interpretation f =
@@ -1459,7 +1459,7 @@
 val declare_abstract_eqn =
   code_declaration Morphism.thm generic_declare_abstract_eqn;
 
-fun declare_aborting_global c = 
+fun declare_aborting_global c =
   modify_specs (register_fun_spec c aborting);
 
 fun declare_unimplemented_global c =