RC : a commentary can end with eof

702075d2 · François Bobot · 1e1cd66b · 702075d2
Commit 702075d2 authored Jan 24, 2011 by François Bobot
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/util/rc.mll src/util/rc.mll +1 -1

No files found.
--- a/src/util/rc.mll
+++ b/src/util/rc.mll
@@ -256,7 +256,7 @@ let escape = ['\\''"''n''t''r']
 rule record = parse
  | space
      { record lexbuf }
-  | '#' [^'\n']* '\n'
+  | '#' [^'\n']* ('\n' | eof)
      { record lexbuf }
  | '[' (ident as key) space*
      { header [key] lexbuf }