diff options
| author | Kathy Gray | 2015-09-17 11:20:53 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-09-17 11:20:53 +0100 |
| commit | 9c5ddbc6050f238540f4fa5ec2f57d79a0af8c4a (patch) | |
| tree | dd4f53429f3658c46b165d7c53aee2d63b6937df /src/sail_lib.ml | |
| parent | b88d7b85900427705c9f8c7384c1948ff2deda8e (diff) | |
Type checker checking on case splits properly, and dependency transformations restored :)
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions