author | immler@in.tum.de |
Sun, 07 Dec 2008 15:39:50 +0100 | |
changeset 34398 | 2d40e4067c37 |
parent 34397 | 86daaf5db016 |
child 34399 | 5b8b89b7e597 |
--- 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 }