rewrite_strat
in functor Ltac
gives anomalies when called
#18463
Labels
kind: anomaly
An uncaught exception has been raised.
part: modules
The module system of Coq.
part: rewriting tactics
The rewrite, autorewrite, rewrite_strat, and setoid_rewrite tactics.
Milestone
The text was updated successfully, but these errors were encountered: