Skip to content
GitLab
Commit 9d234c66 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Recognize "meta" as a keyword in why3doc.

parent fc16f6f6
Hide whitespace changes
Inline Side-by-side
src/why3doc/doc_lexer.mll
View file @ 9d234c66
...@@ -39,7 +39,7 @@ ...@@ -39,7 +39,7 @@
Hashtbl.mem ht Hashtbl.mem ht
let is_keyword1 = make_table let is_keyword1 = make_table
[ "theory"; "end"; [ "theory"; "end"; "meta";
"type"; "constant"; "function"; "predicate"; "inductive"; "type"; "constant"; "function"; "predicate"; "inductive";
"clone"; "use"; "clone"; "use";
"import"; "export"; "axiom"; "goal"; "lemma"; ] "import"; "export"; "axiom"; "goal"; "lemma"; ]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment