From 3fda472e21a94321929902ef8e6330179739d946 Mon Sep 17 00:00:00 2001
From: Hiba Ouni <ouni@lipn.univ-paris13.fr>
Date: Mon, 8 Apr 2019 16:48:06 +0200
Subject: [PATCH] Update README.md

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7323c16..184ba65 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,9 @@ The [BuDDy](http://buddy.sourceforge.net/manual/main.html) BDD package and [Sylv
 
 BuDDy used for sequential version and Sylvan for both sequential and parallel construction.
 
-Spot [Spot](https://spot.lrde.epita.fr/install.html)
+
+
+It is necessary to install Spot [Spot](https://spot.lrde.epita.fr/install.html).
 
 # Hybrid-SOG
 ## Description
-- 
GitLab