From 5d31c04e947fa28559ff931f0e8f45e7be3189b3 Mon Sep 17 00:00:00 2001
From: Mihai Todor <todormihai@gmail.com>
Date: Thu, 4 Oct 2018 19:47:49 +0100
Subject: [PATCH] Fix linter contributing guidelines (#4806)

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 55cc7f118..4bc7daf71 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -477,7 +477,7 @@ the short tests.
 
 ### Execute linter
 
-execute `make lint`
+execute `make check`
 
 ### Execute short tests