| changeset 34475 | f963335dbc6b |
| parent 34468 | 9d4b4f290676 |
| child 34487 | b88ee385308d |
--- a/src/Tools/jEdit/src/jedit/Plugin.scala Sun Jan 11 22:02:27 2009 +0100 +++ b/src/Tools/jEdit/src/jedit/Plugin.scala Mon Jan 12 20:49:37 2009 +0100 @@ -45,8 +45,7 @@ var plugin: Plugin = null // provers - def prover(buffer: JEditBuffer) = plugin.prover_setup(buffer).get.prover - def prover_setup(buffer: JEditBuffer) = plugin.prover_setup(buffer).get + def prover_setup(buffer: JEditBuffer) = plugin.prover_setup(buffer) }