model-checker : cosmetics reindent

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

diff --git a/doc/webcruft/simgrid-101_008.png b/doc/webcruft/simgrid-101_008.png
index 3ce168d..ffb6474 100644 (file)
Binary files a/doc/webcruft/simgrid-101_008.png and b/doc/webcruft/simgrid-101_008.png differ