Commit a83e4c3f authored by Gérard Huet's avatar Gérard Huet

w may be used for v in VH

parent 39268af1
......@@ -479,7 +479,8 @@ EXTEND Gram (* skt to nat *)
| LETTER "r" -> 43
| LETTER "l" -> 44
| LETTER "v" -> 45
| LETTER "s" -> 48
| LETTER "w" -> 45 (* alternate v rather than raising Stream error *)
| LETTER "s" -> 48
| LETTER "h" -> 49
| "#"; i = INT -> 50+int_of_string i (* 0 *)
| "["; "-"; "]" -> -2 (* amuissement *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment