From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 10 Feb 2004 09:04:35 +0000 (+0000)
Subject: added "'" as a valid (continuation) identifier character
X-Git-Tag: V_0_3_0~40
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b5036f4cab9d3942af90e63a877414522bc738ce;p=helm.git

added "'" as a valid (continuation) identifier character
---

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'+)