# HG changeset patch
# User wenzelm
# Date 1231706892 -3600
# Node ID f4c033b3363092a538eb897cf8129c5b844fabb1
# Parent  bd813e4e97d3b82510f5b7f85f6f52eb60f3aed0
tuned;

diff -r bd813e4e97d3 -r f4c033b33630 src/Tools/jEdit/src/jedit/ProverSetup.scala
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Jan 11 19:33:53 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Jan 11 21:48:12 2009 +0100
@@ -78,7 +78,7 @@
     buffer.setTokenMarker(token_marker)
 
     // register for new declarations
-    prover.decl_info += (pair => pair match {case (a,b) => token_marker += (a,b)})
+    prover.decl_info += (pair => token_marker += (pair._1, pair._2))
 
   }