diff options
| author | Kathy Gray | 2013-11-09 12:01:51 +0000 |
|---|---|---|
| committer | Kathy Gray | 2013-11-09 12:01:51 +0000 |
| commit | b644c12a4b4e80120772b7379fbadf211825fc31 (patch) | |
| tree | aad79bc3bbc3e0283efaee5d5f376ba7f87c6fc8 | |
| parent | 00fba411174ee2c273daa15ac0c72ff72ff47138 (diff) | |
Fix up multiple parses issue
| -rw-r--r-- | language/l2_rules.ott | 2 |
1 files changed, 1 insertions, 1 deletions
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 |