deletions | additions       diff --git a/figures/overview-osr-final/caption.tex b/figures/overview-osr-final/caption.tex  index a9e089d..e76e278 100644  --- a/figures/overview-osr-final/caption.tex  +++ b/figures/overview-osr-final/caption.tex 
...
\label{fi:overview-osr-final} OSR-instrumented functions.