diff options
| author | James Pollard <james@pollard.dev> | 2020-07-06 20:29:36 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-07-06 20:29:36 +0100 |
| commit | 5e38a574a06aeeefdfd7962d1f8a89a27e18b747 (patch) | |
| tree | 77aee6813c4a8e98ec14abd59f5c34463237f5dc /src/translation/HTLgen.v | |
| parent | e1486cc5d27b82a4bc950a6f0985325a0e34b006 (diff) | |
| download | vericert-kvx-5e38a574a06aeeefdfd7962d1f8a89a27e18b747.tar.gz vericert-kvx-5e38a574a06aeeefdfd7962d1f8a89a27e18b747.zip | |
Remove alignment requirement for lessdef.
Diffstat (limited to 'src/translation/HTLgen.v')
0 files changed, 0 insertions, 0 deletions