diff options
| author | Robert Norton | 2016-06-06 17:39:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-06-06 17:39:11 +0100 |
| commit | f08e4b1ccbedc8fc1a2eac53d7ce6f29eefecdf2 (patch) | |
| tree | 08ec65a4e3577d2ea67804511ce2c739beceecfd /src/lem_interp/interp.lem | |
| parent | 24e0814bb9edf53853cdf3f7b5efd9bb550006a4 (diff) | |
Add explicit type cast required because of the way sail does slicing (we want indexing of pfn to be reset to 23..0). Kathy to investigate why this was not caught by type checker.
Diffstat (limited to 'src/lem_interp/interp.lem')
0 files changed, 0 insertions, 0 deletions