Commit c5b302be authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

trywh3: 'diverges' is a keyword

parent 34f472e9
......@@ -11,7 +11,7 @@ var Why3HighlightRules = function() {
"exception|exists|for|forall|fun|function|goal|if|import|in|" +
"invariant|let|match|module|mutable|predicate|" +
"rec|requires|then|theory|to|try|type|use|val|variant|" +
"while|with"
"while|with|diverges"
);
var builtinConstants = ("true|false");
......
Markdown is supported
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