# HG changeset patch
# User immler@in.tum.de
# Date 1231677986 -3600
# Node ID 191a481f0594b8a0c13bd15242a1b618e37b58a6
# Parent  ccadbf63e3202b0c48f3dbc62c6e3de4ae1918ea
explicitly refer to superclass

diff -r ccadbf63e320 -r 191a481f0594 src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Sun Jan 11 13:16:35 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Sun Jan 11 13:46:26 2009 +0100
@@ -28,13 +28,13 @@
   val command_decls = new HashSet[String]{
     override def +=(elem : String) = {
       decl_info.event(elem, Markup.COMMAND)
-      this += elem
+      super.+=(elem)
     }
   }
   val keyword_decls = new HashSet[String]{
     override def +=(elem : String) = {
       decl_info.event(elem, Markup.KEYWORD)
-      this += elem
+      super.+=(elem)
     }
   }
   private var initialized = false