src/Pure/Thy/thy_parse.ML

   >> (fn ((x, y), z) => (cat_lines [x, y, z]));
 
 
 (* global *)
 
-val global_decl = empty >> K "\"/\"";
+fun global_decl x = (empty >> K "\"/\"") x;
 
 
 
 (** theory syntax **)