diff -r d03bfe3cc67b -r 98ae49ffc262 pics/compcert.png
Binary file pics/compcert.png has changed