From f7ff728365555e4cd1a43a75a4002041ceefaba1 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 31 Mar 2015 11:13:46 +0100
Subject: Fix int -> nat bug. Now something with type int cannot be used as
 something of type nat (at least not without a >= 0 check)

---
 language/l2.lem | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language')

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
 
-- 
cgit v1.2.3