diff options
| author | Kathy Gray | 2015-03-31 11:13:46 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-03-31 11:13:46 +0100 |
| commit | f7ff728365555e4cd1a43a75a4002041ceefaba1 (patch) | |
| tree | 26290ea41dd544b5fb71f037bce292ffe84f6c40 /src/parser.mly | |
| parent | 4ef2d23807eb46e4cae796b225a39cc19f90692b (diff) | |
Fix int -> nat bug. Now something with type int cannot be used as something of type nat (at least not without a >= 0 check)
Diffstat (limited to 'src/parser.mly')
0 files changed, 0 insertions, 0 deletions