diff options
| author | Jon French | 2018-10-05 14:31:27 +0100 |
|---|---|---|
| committer | Jon French | 2018-10-05 14:32:42 +0100 |
| commit | 69d99cf8a3336e4c3a73b9d26cc3ddd4203cc517 (patch) | |
| tree | 544f4156635f6a7e35093bf78b1373e7b84212b7 /src/gen_lib/sail2_string.lem | |
| parent | de7fda6c197fe2fdb265aa4ecfeafacaa6297a19 (diff) | |
fix bug in infer_mpat losing types of identifiers inferred from other_env
Diffstat (limited to 'src/gen_lib/sail2_string.lem')
0 files changed, 0 insertions, 0 deletions