From b5036f4cab9d3942af90e63a877414522bc738ce Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 10 Feb 2004 09:04:35 +0000 Subject: [PATCH] added "'" as a valid (continuation) identifier character --- helm/ocaml/cic_disambiguation/cicTextualLexer2.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml index be2a034ac..71574dbb1 100644 --- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml +++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml @@ -35,7 +35,7 @@ let regexp blanks = blank+ let regexp num = digit+ let regexp tex_token = '\\' alpha+ let regexp symbol = [^ 'a' - 'z' 'A' - 'Z' '0' - '9' ' ' '\t' '\n' ] -let regexp ident_cont = alpha | num | '_' +let regexp ident_cont = alpha | num | '_' | '\'' let regexp ident_cont' = ident_cont | tex_token let regexp ident = (alpha ident_cont*) | ('_' ident_cont+) let regexp ident' = ((alpha | tex_token) ident_cont'*) | ('_' ident_cont'+) -- 2.39.2