                 (insert replacement)))))))
     (buffer-substring-no-properties (point-min) (point-max))))
 
-(defun fstar-subp--column-number-at-pos (pos)
-  "Return column number at POS."
-  (save-excursion (goto-char pos) (- (point) (point-at-bol))))
-
 (defun fstar-subp--push-header (pos lax)
   "Prepare a header for a region starting at POS.
 With non-nil LAX, the region is to be processed in lax mode."


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


             (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)
