diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-11 16:46:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-11 16:46:43 -0400 |
| commit | afab285a4335bd59b23bba6bc0db684f96f9c5be (patch) | |
| tree | 187bc54d3c4c226ffb8e2fdfe97a5c2e42eae801 /src/Util/WordUtil.v | |
| parent | 36ab9b2519271f9596f0de69df9af3e2ff1b3ed8 (diff) | |
Fix for missing Nat.log2 in 8.4
Diffstat (limited to 'src/Util/WordUtil.v')
0 files changed, 0 insertions, 0 deletions