                 "forall" "exists"
                 "assert" "assert_norm" "assume"
                 "fun" "function"
-                "try" "match" "with"
+                "try" "match" "when" "with"
                 "if" "then" "else"
                 "ALL" "All" "DIV" "Div" "EXN" "Ex" "Exn" "GHOST" "GTot" "Ghost"
                 "Lemma" "PURE" "Pure" "Tot" "ST" "STATE" "St"


;;; Font-Lock

(defconst fstar-syntax-structural-headers
  '("open" "module" "include"
    "let" "let rec" "val" "and"
    "exception" "effect" "new_effect" "sub_effect" "new_effect_for_free"


(defconst fstar-syntax-preprocessor-directives
  '("#set-options" "#reset-options"))

(defconst fstar-syntax-qualifiers
  '("new" "abstract" "logic" "assume" "visible"
