diff options
| author | Brian Campbell | 2019-06-05 13:57:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-05 15:45:43 +0100 |
| commit | b50319867a21b66b66091e6430d36f12457bf5e7 (patch) | |
| tree | de01539e7ac2e864e2609013a22aac44a9548d64 /src/gen_lib/sail2_values.lem | |
| parent | 37c5fb51e9986917a791de73435e182549e21fca (diff) | |
Coq: fix type alias expansion in constraints
Diffstat (limited to 'src/gen_lib/sail2_values.lem')
0 files changed, 0 insertions, 0 deletions