deletions | additions       diff --git a/overview.tex b/overview.tex  index 1fd531e..32f3df7 100644  --- a/overview.tex  +++ b/overview.tex 
...
\label{se:overview}  The key to platform independence in our work is to express the entire OSR machinery at intermediate code representation level, without resorting to machine-level code manipulation or special intrinsics of the intermediate language. %Before describing how this is achieved in LLVM, we provide an overview of our approach.  This idea was already successfully applied in previous work.  %\subsection{Overview}  %\label{ss:overview}