From 16587aeb939bb1972c4166756b549ca2842d3a70 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Thu, 8 Nov 2018 20:55:28 +0100
Subject: [PATCH] Update doc

---
 doc/DEV.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/DEV.md b/doc/DEV.md
index 8c212b4d..ac6a7e19 100644
--- a/doc/DEV.md
+++ b/doc/DEV.md
@@ -5,8 +5,8 @@ How to make a release?
    Run 'make check' on all primary systems.
    No error shall be reported.
    
-2) Check that no memory leak is reported by valgrind:
-   Run 'make valgrind' in tests folder on a system.
+2) Check that no memory leak is reported:
+   Run 'make sanitize' in tests folder on a system.
    NOTE: valgrind seems completely lost in all the tests which spawn a lot of threads.
    
 3) Check that no undefined behavior, nor data race, ... is reported by sanitizer: