model-checker : remove useless memcmp in heap comparison algorithm

[simgrid.git] / doc / gras_comm.png

diff --git a/doc/gras_comm.png b/doc/gras_comm.png
index 53ec300..00d54a1 100644 (file)
Binary files a/doc/gras_comm.png and b/doc/gras_comm.png differ