 
 (defun fstar-subp-process-overlay (overlay)
   "Send the contents of OVERLAY to the underlying F* process."
-  (assert (not fstar-subp--busy-now))
+  (fstar-assert (not fstar-subp--busy-now))
   (fstar-subp-set-status overlay 'busy)
   (setq fstar-subp--busy-now overlay)
   (fstar-subp-send-region (overlay-start overlay) (overlay-end overlay)))

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

;;; Group


(defun fstar-setup-indentation ()
  "Setup indentation for F*."
  (setq-local indent-line-function #'fstar-indent)
  (when (fboundp 'electric-indent-local-mode)
    (electric-indent-local-mode -1)))

;;; Interaction with the server (interactive mode)

