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 /language/l2.lem | |
| 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 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem index eb598113..ea9e007d 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -481,6 +481,7 @@ type ne = (* internal numeric expressions *) | Ne_inf | Ne_mult of ne * ne | Ne_add of list ne + | Ne_minus of ne * ne | Ne_exp of ne | Ne_unary of ne |