diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq_lex.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coq_lex.mll b/ide/coq_lex.mll index fbcbbd788..f7a966609 100644 --- a/ide/coq_lex.mll +++ b/ide/coq_lex.mll @@ -19,6 +19,7 @@ let dot_sep = '.' (space | eof) rule coq_string = parse | "\\\"" { coq_string lexbuf } + | "\\\\" { coq_string lexbuf } | "\"" { () } | eof { () } | _ { coq_string lexbuf } |