Noreturn -> NORETURN

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>

Author: hernan-poncedeleon

dartagnan/src/main/java/com/dat3m/dartagnan/program/event/Tag.java

@@ -132,7 +132,7 @@ private C11() {
 
         public static final String DEFAULT_MO           = MO_SC;
 
-        public static final String NORETURN             = "Noreturn";
+        public static final String NORETURN             = "NORETURN";
 
         public static String intToMo(int i) {
             switch (i) {