 (defun fstar-setup-interactive ()
   "Setup interactive F* mode."
   (fstar-subp-refresh-keybindings fstar-interactive-keybinding-style)
-  (flycheck-mode -1))
+  (when (featurep 'flycheck)
+    (flycheck-mode -1)))
 
 ;;; Comment syntax
 


(require 'dash)
(require 'cl-lib)
(require 'flycheck)

;;; Compatibility


      (warning "WARNING: " ,@fstar-pat)
      (error ,@z3-pat))))

(when (featurep 'flycheck)
  (define-obsolete-variable-alias 'flycheck-fstar-executable 'fstar-executable "0.2")

  (flycheck-define-command-checker 'fstar
    "Flycheck checker for F*."
    :command '("fstar.exe" source-inplace)
    :error-patterns fstar-error-patterns
    :error-filter #'flycheck-increment-error-columns
    :modes '(fstar-mode))

  (add-to-list 'flycheck-checkers 'fstar))

(defun fstar-setup-flycheck ()
  "Prepare Flycheck for use with F*."
  (when (featurep 'flycheck)
    (flycheck-mode)))

;;; Customization

(defcustom fstar-executable "fstar.exe"
  "Full path to the fstar.exe binary."
  :group 'fstar
  :risky t)

;;; Build config

(defconst fstar-build-config-header "(*--build-config")
(defconst fstar-build-config-footer "--*)")

;;; Prettify symbols

