# HG changeset patch
# User wenzelm
# Date 1349782183 -7200
# Node ID 31bfe82e922006da6ec9cb89a19c24eeaef82d83
# Parent  ab0949eff3ca19d622044beff57202a5f4fa6cbf
tuned;

diff -r ab0949eff3ca -r 31bfe82e9220 src/Tools/Graphview/src/mutator.scala
--- a/src/Tools/Graphview/src/mutator.scala	Tue Oct 09 13:27:52 2012 +0200
+++ b/src/Tools/Graphview/src/mutator.scala	Tue Oct 09 13:29:43 2012 +0200
@@ -19,7 +19,7 @@
   val description: String
   def mutate(complete: Model.Graph, sub: Model.Graph): Model.Graph
 
-  override def toString() = name
+  override def toString: String = name
 }
 
 trait Filter extends Mutator