magical restart fix

Stream: general

[Moses Schönfinkel]

This is peculiar. Every fifth lean server restart or so (which I need to do fairly often due to "excessive memory consumption" thing), one of my theorems breaks and can be unbroken by restarting Lean again. I have been failing to make a minimal example though - seems rather arbitrary.

[Chris Hughes]

I've been experiencing the same sort of thing.