diff options
| author | Brian Campbell | 2019-05-22 17:55:07 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-22 17:55:56 +0100 |
| commit | 446931aa3eff319d37b8a98fdf1e877dde4514dc (patch) | |
| tree | f074ffda424155bab342e37747936fa5b23586b0 /lib/coq/Sail2_string.v | |
| parent | 925d976d0a62f61cdc041233af81e20bb56deb00 (diff) | |
Coq: replace inferrable integer arguments with _ at more types
Previously we only checked at atom, now use destruct_atom_nexp to pick
up implicit too.
Diffstat (limited to 'lib/coq/Sail2_string.v')
0 files changed, 0 insertions, 0 deletions