From decde8f1b0f33d497c22d5e504782a8777706f17 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 24 May 2013 20:24:23 -0500
Subject: [PATCH] fix arity error

closes PR 13773
---
 collects/drracket/private/syncheck/gui.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt
index 7e967ebd2f..fd678fb544 100644
--- a/collects/drracket/private/syncheck/gui.rkt
+++ b/collects/drracket/private/syncheck/gui.rkt
@@ -1192,7 +1192,7 @@ If the namespace does not, they are colored the unbound color.
                     (make-object menu-item%
                       jump-to-next-bound-occurrence
                       menu
-                      (λ (item evt) (jump-to-next-callback pos text #f)))
+                      (λ (item evt) (jump-to-next-callback pos (+ pos 1) text #f)))
                     (make-object menu-item%
                       jump-to-binding
                       menu