changeset 34720 | ac61bdd7f598 |
parent 34717 | 3f32e08bbb6c |
child 34738 | 80408ffc84a8 |
--- a/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala Mon Sep 07 21:09:26 2009 +0200 +++ b/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala Mon Sep 07 22:17:51 2009 +0200 @@ -86,7 +86,7 @@ val text = buffer.getSegment(start, caret - start) val completion = - Isabelle.prover_setup(buffer).map(_.prover.completion).getOrElse(Isabelle.completion) + Isabelle.prover_setup(buffer).map(_.prover.completion()).getOrElse(Isabelle.completion) completion.complete(text) match { case None => null