From b644c12a4b4e80120772b7379fbadf211825fc31 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 9 Nov 2013 12:01:51 +0000
Subject: Fix up multiple parses issue

---
 language/l2_rules.ott | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/language/l2_rules.ott b/language/l2_rules.ott
index 696c8509..c52429bb 100644
--- a/language/l2_rules.ott
+++ b/language/l2_rules.ott
@@ -658,7 +658,7 @@ E_e(t) gives { num1 |-> id1 ... numn |-> idn }
 E_d |- vector ne1 ne2 order :t_arg_typ: bit :> enum ne3 ne4 order, { ne3 = zero, ne4 = 2** ne2}
 
 -------------------------------------- :: from_num
-E_d |- enum ne1 ne2 order :> vector ne3 ne4 order :t_arg_typ: bit, {ne3 = zero, ne4 = 2** ne1 + ne2}
+E_d |- enum ne1 ne2 order :> vector ne3 ne4 order :t_arg_typ: bit, {ne3 = zero, id = ne1 + ne2, ne4 = 2** id}
 
 
 defns
-- 
cgit v1.2.3