From 75ac10fb04fcce96dfdc8ef6284da892482d12ef Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 2 Sep 2019 17:24:41 +0000
Subject: [PATCH] [Dive] Add mention to zmq

---
 src/plugins/dive/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/dive/README.md b/src/plugins/dive/README.md
index 5e221a21b90..6279d390f08 100644
--- a/src/plugins/dive/README.md
+++ b/src/plugins/dive/README.md
@@ -14,7 +14,7 @@ The front-end of Dive relies on several external tools and libraries :
 - electron: a javascript framework for gui applications
 - Ivette: the future Frama-C and other tools GUI
 - Cytoscape: a javascript library to display graphs and interact with them
-
+- Zmq (C library and opam package)
 
 Compilation
 ===========
-- 
GitLab