[isabelle-dev] clang error

[Norbert Schirmer]

> On 24. Jul 2024, at 16:15, Norbert Schirmer <nschirmer at apple.com> wrote:
> 
> There is at least one commit in the development version that could have changed the behaviour:
> https://isabelle-dev.sketis.net/rAFPb626e627c3cb280b4fb609d9ebebe1e905930f83

I have meanwhile confirmed on my machine that this is actually the changeset that introduces the problem.

   Regards,

   Norbert

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240724/17657fc8/attachment.htm>