diff options
| author | coqbot-app[bot] | 2021-01-12 13:26:06 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-12 13:26:06 +0000 |
| commit | 3c3a3565b8416ddb65114140e7b3021bafa4347d (patch) | |
| tree | e0624f356abcf6f660c5e4d7ddbed9821c3fda41 /lib/objFile.mli | |
| parent | bedea3079b35982abefe4b78ae7aa0f6819842f6 (diff) | |
| parent | 8f3052d0cf0fbc64dcf285ccd15f3b9cf6daaa67 (diff) | |
Merge PR #13742: Add a test for bound variables in match goal over a case involving variables
Reviewed-by: SkySkimmer
Diffstat (limited to 'lib/objFile.mli')
0 files changed, 0 insertions, 0 deletions