diff options
| author | Ben Simner | 2019-03-05 12:57:23 +0000 |
|---|---|---|
| committer | Ben Simner | 2019-03-05 15:15:08 +0000 |
| commit | 25899e3f0b0c2b21da26111ce8691cf5a16f3bd5 (patch) | |
| tree | a76511f12002964e80599a2e20ce61a779adb0cd /src/pattern_completeness.mli | |
| parent | 98f447e1ca70999350dac4b7a0d3fbce5c64071b (diff) | |
Add Unallocated to the gen files
Adds the Unallocated sail ast node to be tracked by all the
transformation files, to track the change made to sail1.
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions