         (if (equal target-fname "<input>")
             (setq target-fname buffer-file-name))
         (fstar--navigate-to target-fname
-                       (fstar-location-line-from def-loc)
-                       (fstar-location-col-from def-loc)
-                       display-action))
+                            (fstar-location-line-from def-loc)
+                            (fstar-location-col-from def-loc)
+                            display-action))
     (message "No definition found")))
 
 (defun fstar-jump-to-definition-1 (pos disp)

      (fstar-subp-highlight-issues local-issues overlay)
      (display-local-help))))


;;; ;; Tracking and updating overlays


    (save-excursion
      (goto-char (point-max))
      (fstar-subp-advance-or-retract-to-point arg))))

;;; ;; Features based on subp

