uncaught Not_found on ltac backtrace trace #18600
Description
Turns out the workaround is
commenting out
Set Ltac2 Backtrace.
Error: Backtrace:
Backtrace:
Anomaly "Uncaught exception Not_found."
Please report at http://coq.inria.fr/bugs/.
See my branch in unimath that triggered this error
UniMath/UniMath#1833