Update error id to an unused one

diff --git a/src/libsyntax/attr/builtin.rs b/src/libsyntax/attr/builtin.rs
index c285133f4c052786ba34e64f673bb1925efae486..f1cec422420ed87819f56816d77e7d72760f198b 100644 (file)
--- a/src/libsyntax/attr/builtin.rs
+++ b/src/libsyntax/attr/builtin.rs
@@ -435,7 +435,7 @@ macro_rules! get_meta {
         if let Some(ref mut stab) = stab {
             stab.promotable = true;
         } else {
-            span_err!(diagnostic, item_sp, E0713,
+            span_err!(diagnostic, item_sp, E0717,
                       "rustc_promotable attribute must be paired with \
                        either stable or unstable attribute");
         }

diff --git a/src/libsyntax/diagnostic_list.rs b/src/libsyntax/diagnostic_list.rs
index b5818036acddea7a62fabd41bc35ec4c31fffdfa..5155ebbe19d475465f03b8890600c3fd03d31a6b 100644 (file)
--- a/src/libsyntax/diagnostic_list.rs
+++ b/src/libsyntax/diagnostic_list.rs
@@ -413,5 +413,5 @@ fn main() {}
     E0694, // an unknown tool name found in scoped attributes
     E0703, // invalid ABI
     E0704, // incorrect visibility restriction
-    E0713, // rustc_promotable without stability attribute
+    E0717, // rustc_promotable without stability attribute
 }