diff options
| author | Pierre-Marie Pédrot | 2021-01-12 13:23:07 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-12 13:26:23 +0100 |
| commit | 8f3052d0cf0fbc64dcf285ccd15f3b9cf6daaa67 (patch) | |
| tree | e0624f356abcf6f660c5e4d7ddbed9821c3fda41 /lib/objFile.mli | |
| parent | bedea3079b35982abefe4b78ae7aa0f6819842f6 (diff) | |
Add a test for bound variables in match goal over a case involving variables.
Diffstat (limited to 'lib/objFile.mli')
0 files changed, 0 insertions, 0 deletions