diff options
| author | Pierre-Marie Pédrot | 2017-09-02 18:19:34 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-02 18:19:34 +0200 |
| commit | f84c0b96f11d5d1f130d36c0c04597ddeca6001f (patch) | |
| tree | a31afecb957aa4cff8e8acd9871c1d496e0bbe8d /src/tac2stdlib.ml | |
| parent | 0efde84daaa6b032e40a920a36793181724de87a (diff) | |
Fix coq/ltac2#12: Error should name which match cases are unhandled.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions