I am getting the perennial anomaly "Anomaly: Occurrence of Find string not in table", which is not something new. But now it also prints an OCaml backtrace.
since when do we do this?
this might be very bad for performance
we don't
at least Check Prop Prop.
prints no backtrace in my coqide
I am talking about CoqIDE errors
It was introduced by f3f165b, look for Printexc.record_backtrace in coqide.ml
Last updated: Oct 13 2024 at 01:02 UTC