diff options
Diffstat (limited to 'ide/coq_lex.mll')
| -rw-r--r-- | ide/coq_lex.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq_lex.mll b/ide/coq_lex.mll index a88c94dac..e937e9875 100644 --- a/ide/coq_lex.mll +++ b/ide/coq_lex.mll @@ -75,7 +75,7 @@ let identchar = ['$' 'A'-'Z' 'a'-'z' '_' '\192'-'\214' '\216'-'\246' '\248'-'\255' '\'' '0'-'9'] let ident = firstchar identchar* -let undotted_sep = [ '{' '}' ] (space | eof) +let undotted_sep = [ '{' '}' ] let dot_sep = '.' (space | eof) |