diff --git a/src/cup/parser.cup b/src/cup/parser.cup
index e805de37a5c85bf1e6c0abc5ca2d2f5272d841eb..ba5bb1ca657f5deec13c947e91a5bb3ef0dbad7b 100644
--- a/src/cup/parser.cup
+++ b/src/cup/parser.cup
@@ -124,7 +124,9 @@ action code {:
       if (rhs_pos >= MAX_RHS)
 	throw new Exception("Internal Error: Productions limited to " + 
 			     MAX_RHS + " symbols and actions"); 
-
+	  for (int i=0;i<rhs_pos;i++)
+	  	if (part.label()!=null && part.label().equals(rhs_parts[i].label()))
+		  this.parser.report_error("Label '"+part.label()+"' for symbol #"+rhs_pos+" already used for symbol #"+i+"; compilation will fail",parser.stack.peek());
       rhs_parts[rhs_pos] = part;
       rhs_pos++;
     }