# HG changeset patch
# User immler@in.tum.de
# Date 1251363069 -7200
# Node ID 51e98c01cbd651ee3650678ef721c45ad152f027
# Parent  3f20110dfe2f412f794a3084bedaa1656c1a78bc
unused

diff -r 3f20110dfe2f -r 51e98c01cbd6 src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala
--- a/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Thu Aug 27 10:51:09 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Thu Aug 27 10:51:09 2009 +0200
@@ -52,7 +52,6 @@
       val document = theory_view.current_document()
       val offset = theory_view.from_current(document, original_offset)
       val cmd = document.find_command_at(offset)
-      val state = document.states(cmd)
       if (cmd != null) {
         val ref_o = cmd.ref_at(document, offset - cmd.start(document))
         if (!ref_o.isDefined) null