Update 2016-11-14-inferlab.md

_posts/2016-11-14-inferlab.md

@@ -6,7 +6,7 @@ The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html)
 an automatic verification tool based on separation logic, developed at [Facebook](https://www.facebook.com/inferstaticanalyzer/) 
 where it is used every day to verify millions of lines of code.
 
-![Infer Lab](/images/images/Infer-lab-3.jpg)
+![Infer Lab](/images/images/Infer-lab-1.jpg)
 
 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
 Engineering Manager and leader of the Infer team, talked about the use of Infer at Facebook.