diff options
| author | Brian Campbell | 2019-03-21 19:03:56 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-21 19:17:01 +0000 |
| commit | b28dc3f4f74d02f5f0244ee3cee019bc1e4c7583 (patch) | |
| tree | 43a2659839a4749935d658d60983d1abd6bce5dd /test/ocaml/string_equality/string_equality.sail | |
| parent | 13ad54f450a11a9c4eecdd782036e50ea2a41cd8 (diff) | |
Coq: fix bug when multiple type variables map to the same identifier
Diffstat (limited to 'test/ocaml/string_equality/string_equality.sail')
0 files changed, 0 insertions, 0 deletions