| ['\n'] { new_line lexbuf; main lexbuf}
-| "*/" { raise_syntax_error Unmatched_comment (lexeme_start_p lexbuf) }
+| "*)" { raise_syntax_error Unmatched_comment (lexeme_start_p lexbuf) }
-| "/*" { comment_depth := 1; comment_start := lexeme_start_p lexbuf;
+| "(*" { comment_depth := 1; comment_start := lexeme_start_p lexbuf;
comment lexbuf; main lexbuf }
| eof { EOF }
and comment = parse
-| "/*" { incr comment_depth; comment lexbuf }
-| "*/" { decr comment_depth; if !comment_depth > 0 then comment lexbuf }
+| "(*" { incr comment_depth; comment lexbuf }
+| "*)" { decr comment_depth; if !comment_depth > 0 then comment lexbuf }
| ['\n'] { new_line lexbuf; comment lexbuf }
| eof { raise_syntax_error Unterminated_comment !comment_start }
| _ { comment lexbuf }