no null change
authorimmler@in.tum.de
Wed, 27 May 2009 17:07:02 +0200
changeset 34578 7a0531f2be61
parent 34577 aef72e071725
child 34579 f5c3ad245539
no null change
src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Wed May 27 16:23:15 2009 +0200
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Wed May 27 17:07:02 2009 +0200
@@ -216,8 +216,6 @@
                         cmd.markup_root += cmd.markup_node(begin.get, end.get, OuterInfo(kind))
                         command_change(cmd)
                       })
-                    else
-                      command_change(command)
                   case _ =>
                   //}}}
                 }