diff options
| author | Emilio Jesus Gallego Arias | 2019-02-12 18:29:40 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-27 23:56:18 +0100 |
| commit | 178672504f1c92b162c2575b14034cc7b698b6a4 (patch) | |
| tree | cb2fe74b45291b6b62020c0cf3a7fdebac46d15f /tactics/autorewrite.ml | |
| parent | b42b7073e47f03b6e907ffe902c72c72d82dbada (diff) | |
[vernac] [stm] Tweak `with_fail` and hopefully fix the semantics.
We try to do a bit of cleanup for the `with_fail` function, this still
is delicate code.
Diffstat (limited to 'tactics/autorewrite.ml')
0 files changed, 0 insertions, 0 deletions