                                (fstar--flycheck-verify-subp-available)))
   :predicate (lambda ()
                (and (fstar--has-feature 'peek)
-                    (fstar--flycheck-enabled 'fstar-interactive)
+                    (eq fstar-flycheck-checker 'fstar-interactive)
                     (fstar-subp--can-run-flycheck))))
 
 (add-to-list 'flycheck-checkers 'fstar-interactive)

;;; Literate F*

(defconst fstar-literate--point-marker
  "<<<\"P\"O\"I\"N\"T\">>>")

(defun fstar-literate--run-converter (&rest args)
  "Run converter with ARGS on current buffer.

  "Create a verification result announcing availability of the F* subprocess."
  (list
   (flycheck-verification-result-new
    :label "Subprocess started"
    :message (if (fstar-subp-live-p) "OK, F* started."
               "This checker requires a running F* subprocess.")
    :face (if (fstar-subp-live-p) 'success '(bold error)))
   (flycheck-verification-result-new
    :label "Subprocess available"
    :message (if (fstar-subp-available-p) "OK, F* idle."
               "This checker only runs when the F* subprocess is idle.")
    :face (if (fstar-subp-available-p) 'success '(bold error)))))
