changeset 75353 | 05f7f5454cb6 |
parent 72511 | 460d743010bc |
child 75356 | fa014f31f208 |
--- a/src/Tools/Code/code_scala.ML Sun Mar 27 19:27:50 2022 +0000 +++ b/src/Tools/Code/code_scala.ML Sun Mar 27 19:27:52 2022 +0000 @@ -211,8 +211,8 @@ end | print_def const (vs, ty) eqs = let - val tycos = fold (fn ((ts, t), _) => - fold Code_Thingol.add_tyconames (t :: ts)) eqs []; + val tycos = build (fold (fn ((ts, t), _) => + fold Code_Thingol.add_tyconames (t :: ts)) eqs); val tyvars = reserved |> intro_base_names (is_none o tyco_syntax) deresolve_tyco tycos