[isabelle-dev] Duplicate theory??

[Lawrence Paulson]

I get the same error on the testboard (job #175), see https://ci.isabelle.systems/jenkins/job/testboard/lastBuild/consoleFull:

> 15:31:26 Session AFP/GPU_Kernel_PL (AFP)
> 15:31:26 Session AFP/Gauss-Jordan-Elim-Fun (AFP)
> 15:31:26 Session AFP/GenClock (AFP)
> 15:31:26 Session AFP/General-Triangle (AFP)
> 15:31:26 Session AFP/Generic_Deriving (AFP)
> 15:31:26 Session AFP/GewirthPGCProof (AFP)
> 15:31:26 Session AFP/GoedelGod (AFP)
> 15:31:26 Session HOL/HOL-Cardinals (timing)
> 15:31:26 Session AFP/Ordinals_and_Cardinals (AFP)
> 15:31:26 Session AFP/Sort_Encodings (AFP)
> 15:31:26 *** Cannot load theory "HOL-Library.Countable_Set_Type"
> 15:31:26 *** The error(s) above occurred in session "Sort_Encodings" (line 3 of "/media/data/jenkins/workspace/testboard/afp/thys/Sort_Encodings/ROOT”)

This can’t have anything to do with my personal configuration. Does anybody have any ideas?

Larry