diff options
| author | Brian Campbell | 2018-04-09 16:05:39 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-09 16:05:59 +0100 |
| commit | 91d9047b1cccff67a3130fc5e48dd8eadfe3bb9d (patch) | |
| tree | f779b7ee50844129e314fe1c0ed03d43e2779cab /src/sail.ml | |
| parent | 86402c298c24e47ae49de7fb9748f0a67aaa98d2 (diff) | |
Remove unnecessary restriction on complex nexp rewriting
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions