model-checker : try first to associate each block or fragment with the same positiion...

[simgrid.git] / doc / webcruft / simgrid-101_005.png

diff --git a/doc/webcruft/simgrid-101_005.png b/doc/webcruft/simgrid-101_005.png
index c13ed0f..c3b3568 100644 (file)
Binary files a/doc/webcruft/simgrid-101_005.png and b/doc/webcruft/simgrid-101_005.png differ