 
 (defun fstar-subp-jump-to-issue (issue)
   "Jump to ISSUE in current buffer."
-  (goto-char (fstar-issue-offset (fstar-issue-line-from issue)
-                                 (fstar-issue-col-from issue))))
+  (goto-char (fstar--row-col-offset (fstar-issue-line-from issue)
+                               (fstar-issue-col-from issue))))
 
 (defun fstar-subp--local-issue-p (issue)
   "Check if ISSUE came from the current buffer."

  "Return column number at POS."
  (save-excursion (goto-char pos) (- (point) (point-at-bol))))

;;;; Overlay classification

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

      (setf (fstar-issue-line-to issue) (+ (fstar-issue-line-to issue) linum))))
  issue)

(defun fstar-subp-remove-issue-overlay (overlay &rest _args)
  "Remove OVERLAY."
  (delete-overlay overlay))
