typo

diff --git a/Robust/src/IR/TaskDescriptor.java b/Robust/src/IR/TaskDescriptor.java
index 2478d217ce9c9175fa1ed04f0731d7ee159746c6..e152ecedd78aa524da3912e89cf15537d4796941 100644 (file)
--- 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");
            }
        }