From db69b1dfb3fa5182c7e49ab7b14430f19152483c Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 29 Feb 2008 21:54:37 +0000
Subject: [PATCH] Fixed bug in toString() for FlatMethod of a task.

---
 Robust/src/IR/Flat/FlatMethod.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/FlatMethod.java b/Robust/src/IR/Flat/FlatMethod.java
index b48f718e..2838da06 100644
--- 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() {
-- 
2.34.1