Commit 681d01fa authored by wenzelm's avatar wenzelm
Browse files

adapted to Isabelle/a2c589d5e1e4;

parent 74da145e496a
......@@ -757,7 +757,7 @@ fun expression struct_open range name constraint body ants context = context |>
in fn () =>
ML_Context.eval (ML_Compiler.verbose verbose ML_Compiler.flags) (#1 range)
(ML_Lex.read ("Context.put_generic_context (SOME (let open " ^ struct_open ^ " val ") @
ML_Lex.read_set_range range name @
ML_Lex.read_range range name @
ML_Lex.read (": " ^ constraint ^ " =") @ ants @
ML_Lex.read ("in " ^ body ^ " end (Context.the_generic_context ())));"))
end;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment