diff options
| author | coqbot-app[bot] | 2021-01-04 12:54:39 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-04 12:54:39 +0000 |
| commit | 006adfbd19d5ae736463f51c7509af795070e1c7 (patch) | |
| tree | ca19ff174fa3349be537637bff72c7f758a0b2bf /test-suite/output/ErrorInModule.v | |
| parent | 66e24a2365b235bd35cbba71adce30dccea60b55 (diff) | |
| parent | f26f263250f0bd2ded25d16d1c6a650b92f7f63b (diff) | |
Merge PR #13694: Add a test for a complex conversion involving pattern-matching with let-bindings
Reviewed-by: SkySkimmer
Diffstat (limited to 'test-suite/output/ErrorInModule.v')
0 files changed, 0 insertions, 0 deletions