Session_itp.merge_trans: Not_found
While reloading a large proof, I got the error message [Session_itp.merge_trans] FATAL unexpected exception: anomaly: Not_found
followed by a crash. I did not manage to reproduce.
While reloading a large proof, I got the error message [Session_itp.merge_trans] FATAL unexpected exception: anomaly: Not_found
followed by a crash. I did not manage to reproduce.