 
 (defun fstar-setup-font-lock ()
   "Setup font-lock for use with F*."
+  (font-lock-mode)
   (setq-local
    font-lock-defaults
    `(((,fstar-syntax-constants    . 'font-lock-constant-face)


;;; Comment syntax

(defun fstar-syntactic-face-function-aux (_ _b _c in-string comment-depth _d _e _f comment-start-pos _g)
  "Choose face to display.

Arguments IN-STRING COMMENT-DEPTH and COMMENT-START-POS ar as in
`font-lock-syntactic-face-function'."
  (cond (in-string font-lock-string-face)
        ((and comment-depth
              comment-start-pos
              (numberp comment-depth))
         (save-excursion
           (goto-char comment-start-pos)
           (cond

    (modify-syntax-entry ?\" "\"" table)
    (modify-syntax-entry ?*  ". 23" table)
    (modify-syntax-entry ?/  ". 12b" table)
    (modify-syntax-entry ?\n  "> b" table)
    (modify-syntax-entry ?\^m "> b" table)
    (modify-syntax-entry ?\( "()1n" table)
    (modify-syntax-entry ?\) ")(4n" table)
    table)
