 (defun fstar-setup-indentation ()
   "Setup indentation for F*."
   (setq-local indent-line-function #'fstar-indent)
-  (electric-indent-local-mode -1))
+  (when (fboundp 'electric-indent-local-mode)
+    (electric-indent-local-mode -1)))
 
 ;;; Interaction with the server (interactive mode)
 


(defun fstar-subp-set-status (overlay status)
  "Set status of OVERLAY to STATUS."
  (assert (memq status fstar-subp-statuses))
  (let ((inhibit-read-only t)
        (face-name (concat "fstar-subp-overlay-" (symbol-name status) "-face")))
    (overlay-put overlay 'fstar-subp-status status)


(defun fstar-subp-pop-overlay (overlay)
  "Remove overlay OVERLAY and issue the corresponding #pop command."
  (fstar-assert (not fstar-subp--busy-now))
  (process-send-string fstar-subp--process fstar-subp--cancel)
  (delete-overlay overlay))

