[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: problem with prover



Magesh,

This sounds like a bug.  Could you send a dump (using M-x dump-pvs-files
on your top-level specification), so that I can try and chase this down?

Thanks,
Sam