diff options
Diffstat (limited to 'language/l2.ml')
| -rw-r--r-- | language/l2.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.ml b/language/l2.ml index 1c2a6c09..4e58d63c 100644 --- a/language/l2.ml +++ b/language/l2.ml @@ -46,6 +46,7 @@ nexp_aux = (* expression of kind Nat, for vector sizes and origins *) | Nexp_times of nexp * nexp (* product *) | Nexp_sum of nexp * nexp (* sum *) | Nexp_exp of nexp (* exponential *) + | Nexp_neg of nexp (* For internal use. Not M as a dataconstructor is required *) and nexp = Nexp_aux of nexp_aux * l |