   (fstar-subp-set-status overlay 'busy)
   (let ((lax (overlay-get overlay 'fstar-subp--lax)))
     (fstar-subp-send-region (overlay-start overlay) (overlay-end overlay) lax
-                       (apply-partially #'fstar-subp--overlay-continuation overlay))))
+                            (apply-partially #'fstar-subp--overlay-continuation overlay))))
 
 (defun fstar-subp-process-queue (buffer)
   "Process the next pending overlay of BUFFER, if any."

   ((not (fstar-subp-live-p))
    (user-error "Please start F* before jumping to a definition"))
   (t (fstar-subp--query (fstar-subp--info-query (point))
                    (apply-partially #'fstar-subp--info-continuation
                                     #'fstar--jump-to-definition-continuation
                                     (point))))))

;;;; Starting the F* subprocess


    (fstar--goto line column)
    (point)))

(defun fstar--match-strings-no-properties (ids str)
  "Get (match-string-no-properties ID STR) for each ID in IDS."
  (mapcar (lambda (num) (match-string-no-properties num str)) ids))

;;;; Overlay classification

(defun fstar-subp-issue-overlay-p (overlay)
