more bug fix

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / SemanticsChecker.java

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java b/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
index 26647f60c973e875f1064550507cd1849c8796ac..ae53d3b39fb80d579cb30fad90a42d58bebe5a59 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
@@ -121,12 +121,6 @@ public class SemanticsChecker {
                                                + label + "!");
                        }
 
-                       // No HB condition label can duplicate!
-                       if (hbLabel2Num.containsKey(label)) {
-                               throw new SemanticsCheckerException("Happens-before label: "
-                                               + label + " duplicates!");
-                       }
-
                        // Number the HB-condition label
                        hbLabel2Num.put(label, _hbLabelNum++);
                }