 (defconst fstar-subp--done "\n#done-")
 
 (defconst fstar-subp--cancel "#pop\n")
-(defconst fstar-subp--header "#push\n")
+(defconst fstar-subp--header "#push ")
 (defconst fstar-subp--footer "\n#end #done-ok #done-nok\n")
 
 (defconst fstar-subp-statuses '(pending busy processed))

                (insert replacement)))))))
    (buffer-substring-no-properties (point-min) (point-max))))

(defun fstar-subp-send-region (beg end)
  "Send the region between BEG and END to the inferior F* process."
  (interactive "r")
  (fstar-subp-start)
  (let ((msg (concat fstar-subp--header
                     (fstar-subp-prepare-message (buffer-substring-no-properties beg end))
                     fstar-subp--footer)))
    (fstar-subp-log "QUERY [%s]" msg)


(defun fstar-subp-adjust-line-numbers (issue overlay-start-line)
  "Adjust line numbers of ISSUE relative to OVERLAY-START-LINE."
  issue)
  ;; (setf (fstar-issue-line-from issue) (fstar-issue-line-from issue))
  ;; (setf (fstar-issue-line-to issue) (fstar-issue-line-to issue))) ;;what's a better noop?

(defun fstar-subp-realign-issue (overlay-start-line issue)
  "Use first line of overlay (OVERLAY-START-LINE) to realign issue ISSUE."
