model-checker : remove unused argument in functions for heap comparison algorithm

[simgrid.git] / doc / fig / simgrid_modules2.fig

diff --git a/doc/fig/simgrid_modules2.fig b/doc/fig/simgrid_modules2.fig
index 5802952..50f6f12 100644 (file)
--- a/doc/fig/simgrid_modules2.fig
+++ b/doc/fig/simgrid_modules2.fig
@@ -20,7 +20,7 @@ Single
 6 -1215 -900 9045 -180
 2 2 0 1 0 31 70 -1 20 0.000 0 0 -1 0 0 5
         -1215 -180 9045 -180 9045 -900 -1215 -900 -1215 -180
-# href="contrib.html" ALT="Contrib"
+# href="/contrib.html" ALT="Contrib"
 2 2 0 1 0 37 55 -1 20 0.000 0 0 -1 0 0 5
         5670 -315 8370 -315 8370 -810 5670 -810 5670 -315
 4 1 0 50 -1 4 14 0.0000 2 180 1170 3914 -465 User Code\001