diff -r c78bb592a034 -r 25580bf89ac0 pics/compcert.png
Binary file pics/compcert.png has changed