diff options
| author | Pierre-Marie Pédrot | 2017-08-28 20:31:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-28 20:31:33 +0200 |
| commit | ee7ebf17245c65b630d5b7c01de8ad9253bd9523 (patch) | |
| tree | 0393bed9b807406090c6e2bfe3362009e0642d51 /doc/plugin_tutorial | |
| parent | 99ec137899c2684da2a8c221f333e0e9adee2c48 (diff) | |
Fix coq/ltac2#6: Expected and actual types are flipped.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions