deletions | additions       diff --git a/figures/isordstub/caption.tex b/figures/isordstub/caption.tex  index 40430e4..97f0487 100644  --- a/figures/isordstub/caption.tex  +++ b/figures/isordstub/caption.tex 
...
\label{fig:isordstub} IR stubcreated by \osrkit\  that generates the continuation function when an open OSR is fired by {\tt isordfrom} (\myfigure\ref{fig:isordfrom}).