diff -r 046f37a262d0 -r 0c752ac51cfa pics/compcert.png
Binary file pics/compcert.png has changed