 
 (require 'dash)
 (require 'cl-lib)
+(require 'eldoc)
 (require 'help-at-pt)
 (require 'flycheck nil t)
 

  (let ((fstar-subp--lax t))
    (fstar-subp-advance-or-retract-to-point arg)))

;;;; Starting the F* subprocess

(defun fstar-subp-buffer-killed ()

             (process-connection-type nil)
             (args (fstar-subp-with-interactive-args (fstar-subp-get-prover-args)))
             (proc (fstar-subp-start-process buf prog-abs args)))
        (fstar-subp-log "Started F* interactive: %S" (cons prog-abs args))
        (set-process-query-on-exit-flag proc nil)
        (set-process-filter proc #'fstar-subp-filter)
        (set-process-sentinel proc #'fstar-subp-sentinel)
