# HG changeset patch
# User immler@in.tum.de
# Date 1228660790 -3600
# Node ID 2d40e4067c37bf9274c68439676726acb1ee29e7
# Parent  86daaf5db01622cd55be2889383cb7230374ee88
no syserr

diff -r 86daaf5db016 -r 2d40e4067c37 src/Tools/jEdit/src/prover/Command.scala
--- a/src/Tools/jEdit/src/prover/Command.scala	Sun Dec 07 15:36:24 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Sun Dec 07 15:39:50 2008 +0100
@@ -73,7 +73,6 @@
     val cand_asset = cand.getUserObject.asInstanceOf[RelativeAsset]
     val c_start = cand_asset.rel_start
     val c_end = cand_asset.rel_end
-    System.err.println(c_start - n_start + " " + (c_end - n_end))
     return c_start >= n_start && c_end <= n_end
   }