why3doc: new keyword diverges

aa5e2d12 · Jean-Christophe Filliatre · 1eb95673 · aa5e2d12
Commit aa5e2d12 authored Apr 02, 2014 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/why3doc/doc_lexer.mll src/why3doc/doc_lexer.mll +1 -1

No files found.
--- a/src/why3doc/doc_lexer.mll
+++ b/src/why3doc/doc_lexer.mll
@@ -42,7 +42,7 @@

  let is_keyword2 = make_table [ "absurd"; "assert"; "assume";
    "ensures"; "check"; "invariant"; "raises"; "reads"; "requires";
-    "returns"; "variant"; "writes"; ]
+    "returns"; "variant"; "writes"; "diverges"; ]

  let get_loc lb =
    Loc.extract (Lexing.lexeme_start_p lb, Lexing.lexeme_end_p lb)