minor change to compile with TexShop

atva2021/abs.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \begin{abstract}
 Pointer arithmetic is widely used in low-level programs, e.g. memory allocators. 

atva2021/app-ent-hls.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \section{Complexity of the entailment problem}
 

atva2021/app-sat-hls.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \section{\EPbA\ abstraction for \slah\ formulas}\label{app:sat-hls}
 

atva2021/conclusion.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \section{Conclusion}
 \label{sec:conc-hls}

atva2021/entail-hls-mult-atoms.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \subsection{Consequent with more spatial atoms}
 \label{ssec:ent-all}

atva2021/entail-hls-order.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \subsection{Splitting into ordered entailments}
 \label{ssec:ent-order}

atva2021/overview.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \section{Motivating example and overview}
 \label{sec:over-hls}

atva2021/sat-hls.tex

-%!TEX root = tab2021.tex
+%!TEX root = atva2021.tex
 
 \section{Satisfiability problem of {\slah}}
 \label{sec:sat-hls}