changes checked in

diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index db52e189aa8fbb9ec019b36b8422d023c2d239a1..0150b12e432e42f8c7ab70a3a8f8ca637d4b3814 100644 (file)
--- a/Robust/src/IR/Tree/BuildIR.java
+++ b/Robust/src/IR/Tree/BuildIR.java
@@ -30,7 +30,9 @@ public class BuildIR {
                } else if (isNode(type_pn,"task_declaration")) {
                    TaskDescriptor td=parseTaskDecl(type_pn);
                    state.addTask(td);
-               } throw new Error();
+               } else {
+                   throw new Error(type_pn.getLabel());
+               }
            }
        }
     }