diff options
Diffstat (limited to 'language')
| -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 |