I've moved things up (although this is really artificial). Misc imports Complex_Main anyway, and I made Permutations import Main, the problem persists.
Florian Haftmann wrote: > Hi Amine, > >> I have a theory development which used to work not a long time ago. I am >> now trying to include it into the distribution. >> >> At some point I can not merge the theories and get: >> >> *** Clash of specifications "Permutations.typerep_^_inst.typerep_^_def" >> and "Misc.typerep_^_inst.typerep_^_def" for constant >> "Typerep.typerep_class.typerep" >> *** At command "theory". > > is it possible to make both Permutations and Misc to inherit from Main? > > Florian >
