From 81549dac6ed0a363906f91acc848bdff60bb2e80 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 19 Apr 2018 22:40:04 +0200
Subject: [PATCH] Change option name in doc too.

---
 doc/doxygen/outcomes_vizu.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/doxygen/outcomes_vizu.doc b/doc/doxygen/outcomes_vizu.doc
index 59f5958187..1c4381c20b 100644
--- a/doc/doxygen/outcomes_vizu.doc
+++ b/doc/doxygen/outcomes_vizu.doc
@@ -201,7 +201,7 @@ TODO
 \endverbatim
 
 \li <b>\c
-tracing/msg/vm
+tracing/vm
 </b>:
 TODO
 \verbatim
-- 
2.20.1