1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/rtl.c b/gcc/rtl.c
index 33cf0cb..6ff5002 100755
--- a/gcc/rtl.c
+++ b/gcc/rtl.c
@@ -190,8 +190,8 @@ char *reg_note_name[] = { "", "REG_DEAD", "REG_INC", "REG_EQUIV", "REG_WAS_0",
 			  "REG_EQUAL", "REG_RETVAL", "REG_LIBCALL",
 			  "REG_NONNEG", "REG_NO_CONFLICT", "REG_UNUSED",
 			  "REG_CC_SETTER", "REG_CC_USER", "REG_LABEL",
-			  "REG_DEP_ANTI", "REG_DEP_OUTPUT", "REG_BR_PROB",
-			  "REG_EXEC_COUNT", "REG_NOALIAS", "REG_SAVE_AREA",
+			  "REG_DEP_ANTI", "REG_DEP_OUTPUT",
+			  "REG_NOALIAS", "REG_SAVE_AREA",
 			  "REG_BR_PRED", "REG_EH_CONTEXT",
 			  "REG_FRAME_RELATED_EXPR", "REG_EH_REGION",
 			  "REG_EH_RETHROW" };