Index: /papers/FDL2012/framework.tex
===================================================================
--- /papers/FDL2012/framework.tex	(revision 83)
+++ /papers/FDL2012/framework.tex	(revision 84)
@@ -43,5 +43,5 @@
 %   \includegraphics[width=1.2\textwidth]{our_CEGAR_Loop_Enhanced_2S_PNG}
 %     \hspace*{-5mm}
-     \includegraphics{our_CEGAR_Loop_Enhanced_2S_PNG}
+     \includegraphics{our_framework_cegar_png}
    \caption{\label{cegar} Verification Process }
 \end{figure}