Update InferLab.md

4bc8863e · Teresa Carbajo-Garcia · a3ec1d1b · 4bc8863e
Commit 4bc8863e authored 8 years ago by Teresa Carbajo-Garcia
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
@@ -32,7 +32,7 @@ Jules Villard, Software Engineer at Facebook, gave a tutorial on bi-abduction,
 based on the [slides](/teaching/Bi-Abduction-slides-Sutherland.pdf) that he developed together with Daiva Naudžiūnienė whilst 
 a Post-Doc at Imperial College London. 

-![Infer Lab](/images/images/Infer-lab-2.jpg)
+![Infer Lab](/images/images/Infer-lab-2-small.jpg)

 Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. During the tutorial, one of the students, 
 Lorenzo Paoliani, ran Infer on [ConnectBot](https://play.google.com/store/apps/details?id=org.connectbot&hl=en_GB), an SSH client for Android, and found several null dereference bugs. He reported this on  github and submitted