src/Tools/Code/code_simp.ML

--- a/src/Tools/Code/code_simp.ML	Thu Aug 26 16:25:25 2010 +0200
+++ b/src/Tools/Code/code_simp.ML	Thu Aug 26 16:34:10 2010 +0200
@@ -37,7 +37,8 @@
 
 (* dedicated simpset *)
 
-structure Simpset = Theory_Data (
+structure Simpset = Theory_Data
+(
   type T = simpset;
   val empty = empty_ss;
   fun extend ss = MetaSimplifier.inherit_context empty_ss ss;