        (1 'fstar-structure-face)
        (2 'font-lock-function-name-face)
        (fstar-find-id (fstar-subexpr-pre-matcher 2) nil
-                  (1 'font-lock-variable-name-face)))
+                 (1 'font-lock-variable-name-face)))
       (fstar-find-id-with-type
        (1 'font-lock-variable-name-face))
       (,(concat "\\_<\\(type\\|kind\\)\\( +" id "\\)\\s-*$")

(defun fstar-subp-jump-to-issue (issue)
  "Jump to ISSUE in current buffer."
  (goto-char (fstar-issue-offset (fstar-issue-line-from issue)
                             (fstar-issue-col-from issue))))

(defun fstar-subp-handle-failure (response overlay)
  "Process failure RESPONSE from F* subprocess for OVERLAY."


(provide 'fstar-mode)
;;; fstar-mode.el ends here
