Fixed bug in toString() for FlatMethod of a task.

diff --git a/Robust/src/IR/Flat/FlatMethod.java b/Robust/src/IR/Flat/FlatMethod.java
index b48f718ec3add0365bcf4b7d1e75d1ec43e066e4..2838da06398c86eef83a939b29a5e4b637775544 100644 (file)
--- a/Robust/src/IR/Flat/FlatMethod.java
+++ b/Robust/src/IR/Flat/FlatMethod.java
@@ -27,7 +27,10 @@ public class FlatMethod extends FlatNode {
     }
 
     public String toString() {
-       return method.toString();
+       if( method != null ) {
+           return method.toString();
+       }
+       return task.toString();
     }
 
     public MethodDescriptor getMethod() {