         (with-selected-window win
           (with-current-buffer buf ;; FIXME check this
             (push-mark (point) t) ;; Save default position in mark ring
-	    (setq fstar--parent-buffer parent-buf)
+            (setq fstar--parent-buffer parent-buf)
             (fstar--goto-line-col (or line 1) col)
             (recenter)
             (when line

DISPLAY-ACTION indicates how: nil means in the current window;
`window' means in a side window."
  (-if-let* ((def-loc (and (fstar-lookup-result-p info)
			   (fstar-lookup-result-def-loc info))))
      (with-current-buffer cur-buf
	(fstar--navigate-to def-loc display-action))
    (message "No definition found")))

(defun fstar-jump-to-definition-1 (pos disp)

    (if (not (file-exists-p fname))
        (message "File not found: %S" fname)
      (-when-let* ((buf (find-file-noselect fname))
                   (parent-buf (or fstar--parent-buffer (current-buffer)))
                   (win (if (not switch)
                            (display-buffer buf action)
                          (when (eq (pop-to-buffer buf action)
