diff options
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index a735c3f5..09fe4b41 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -51,7 +51,8 @@ let loc n m = Range (m, n) let mk_id i n m = Id_aux (i, loc m n) let mk_kid str n m = Kid_aux (Var str, loc n m) -let id_of_kid (Kid_aux (Var str, l)) = Id_aux (Id str, l) +let id_of_kid = function + | Kid_aux (Var v, l) -> Id_aux (Id (String.sub v 1 (String.length v - 1)), l) let deinfix (Id_aux (Id v, l)) = Id_aux (DeIid v, l) |