Problem in AFP

[Florian Haftmann]

isabelle: 028c1567a44c tip
afp: 7f51ddf2b695 tip

$ isabelle build -b Pure
> ### Building AFP/Tools (/home/haftmann/data/tum/isabelle/devel/../../afp/devel/tools/lib/classes/afp_tools.jar) ...
> value init0 is not a member of object isabelle.Options - did you mean Options.init?
> 1 error found
> -- [E008] Not Found Error: /home/haftmann/data/tum/isabelle/devel/../../afp/devel/tools/afp_structure.scala:139:39 
> 139 |  def apply(options: Options = Options.init0(), base_dir: Path = AFP.BASE): AFP_Structure =
>     |                               ^^^^^^^^^^^^^
>     |value init0 is not a member of object isabelle.Options - did you mean Options.init?
> 1 error found
> *** Failed to compile Scala sources

	Florian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA707172232CFA4E9.asc
Type: application/pgp-keys
Size: 25429 bytes
Desc: OpenPGP public key
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251224/df21627c/attachment-0001.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251224/df21627c/attachment-0001.sig>