diff --git a/sasa.opam b/sasa.opam
index f387df3eec09e603865fc31d221aff445beecbe3..1287e0d39b0d0e3b7e53ff0a2307b49c56265def 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -23,6 +23,7 @@ depends: [
   "lutils"
   "psq"
   "functory"
+  "ledit"
   "rdbg" { >= "1.194" }
   "lustre-v6"
   "lutin"
diff --git a/test/bfs-spanning-tree/Makefile b/test/bfs-spanning-tree/Makefile
index 90dfaf5f66ad62749b1cc4421c03035e3757ad30..fb84eaaf2cef054521fd161a28c544e1ada14d83 100644
--- a/test/bfs-spanning-tree/Makefile
+++ b/test/bfs-spanning-tree/Makefile
@@ -1,4 +1,4 @@
-# Time-stamp: <modified the 22/06/2022 (at 10:17) by Erwan Jahier>
+# Time-stamp: <modified the 05/12/2022 (at 10:24) by Erwan Jahier>
 
 DECO_PATTERN="0:root.ml 1-:p.ml" 
 -include ../Makefile.dot
@@ -27,7 +27,7 @@ lurette0: fig51_noinit.cmxs fig51_noinit.lut fig51_noinit_oracle.lus
           -oracle "lv6 fig51_noinit_oracle.lus -n oracle"
 
 test_rdbg: fig51_noinit.ml fig51_noinit.lut
-	ledit rdbg --sasa -sut "sasa fig51_noinit.dot "  -go --input some_session
+	rdbg --sasa -sut "sasa fig51_noinit.dot "  -go --input some_session
 
 clean: genclean
 	rm -f fig*oracle.lus fig5*.ml