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