why3doc: fixed bug with comment (**)

ecdd91e8 · Jean-Christophe Filliâtre · 49d7c46d · ecdd91e8
Commit ecdd91e8 authored May 23, 2014 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/why3doc/doc_lexer.mll src/why3doc/doc_lexer.mll +3 -0

No files found.
--- a/src/why3doc/doc_lexer.mll
+++ b/src/why3doc/doc_lexer.mll
@@ -146,6 +146,9 @@ rule scan fmt empty = parse
            if empty <> PrevEmpty then pp_print_string fmt "</div>";
            pp_print_string fmt "<pre>";
            scan fmt CurrEmpty lexbuf }
+  | "(**)"
+          { pp_print_string fmt "<span class=\"comment\">(**)</span>";
+            scan fmt NotEmpty lexbuf }
  | "(*"
          { pp_print_string fmt "<span class=\"comment\">(*";
            comment fmt true lexbuf;