Skip to content

ltac_tactics.v: drop dead branch

Remove dead support for lazy_tc. I still suspect fixing lazy_tc should be investigated.

Edited by Paolo G. Giarrusso

Merge request reports