From 13d2c8cde6d1f64c720bcdf703e4846fdbadee08 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 14 Jun 2005 16:01:05 +0000 Subject: [PATCH] parentheses allowed inside comments --- helm/ocaml/cic_disambiguation/cicTextualLexer2.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml index b28d3cae6..a326acf7f 100644 --- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml +++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml @@ -40,7 +40,7 @@ let regexp symbol_char = ] let regexp dust = "%%" [^ '\n']* '\n' -let regexp comment_char = [^ ")" ] +let regexp comment_char = [^'*'] | '*'[^')'] let regexp note = "(*" comment_char* "*)" let regexp commentbegin = "(**" @@ -144,7 +144,7 @@ let rec token comments = lexer | note -> (*if comments then*) let comment = - Ulexing.utf8_sub_lexeme lexbuf 2 (Ulexing.lexeme_length lexbuf - 2) + Ulexing.utf8_sub_lexeme lexbuf 2 (Ulexing.lexeme_length lexbuf - 4) in return lexbuf ("NOTE", comment) (*else -- 2.39.2