From 123ee8b532e38056d2d8b17cc10afb29f1cef9fd Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 12 Apr 2007 14:49:24 +0000
Subject: [PATCH] typo

---
 Robust/src/IR/TaskDescriptor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/TaskDescriptor.java b/Robust/src/IR/TaskDescriptor.java
index 2478d217..e152eced 100644
--- a/Robust/src/IR/TaskDescriptor.java
+++ b/Robust/src/IR/TaskDescriptor.java
@@ -54,7 +54,7 @@ public class TaskDescriptor extends Descriptor {
 		TagVarDescriptor tvd=new TagVarDescriptor(new TagDescriptor(tel.getType(i)), tel.getName(i));
 		if (paramtable.getFromSameScope(tel.getName(i))==null) {
 		    paramtable.add(tvd);
-		} else if (!(((paramtable.getFromSameScope(tel.getName(i)) instanceof TagVarDescriptor)&&paramtable.getFromSameScope(tel.getName(i))).equals(tvd))) 
+		} else if (!((paramtable.getFromSameScope(tel.getName(i)) instanceof TagVarDescriptor)&&paramtable.getFromSameScope(tel.getName(i)).equals(tvd)))
 		    throw new Error("Parameter "+paramname+" already defined");
 	    }
 	}
-- 
2.34.1