From f43239fc2f80c6aab857ba24599f21e2a26763d0 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Sat, 20 Apr 2019 14:25:28 +0200
Subject: [PATCH] Rename diagnostics.rs to error-codes.rs

---
 highfive/configs/rust-lang/rust.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/highfive/configs/rust-lang/rust.json b/highfive/configs/rust-lang/rust.json
index 9dae3b92..9417b5da 100755
--- a/highfive/configs/rust-lang/rust.json
+++ b/highfive/configs/rust-lang/rust.json
@@ -45,7 +45,7 @@
             "message": "Some changes occurred in HTML/CSS.",
             "reviewers": ["@GuillaumeGomez"]
         },
-        "diagnostics.rs": {
+        "error_codes.rs": {
             "message": "Some changes occurred in diagnostic error codes",
             "reviewers": ["@GuillaumeGomez"]
         }