Commit ce3dde7a authored by Glen Mével's avatar Glen Mével
Browse files

ICFP21 paper: remove hlines in figure about invariant of the pipeline

parent 3393227e
......@@ -17,7 +17,7 @@
& \authm(\exm(\nat))
% \authm requires an unitary cmra; here we omit \optionm
\\ \hline
\\ %\hline
% invariant (outer):
......@@ -48,7 +48,7 @@
%}% end of \multicolumn
\\ \hline
\\ %\hline
% invariant local to thread f:
......@@ -62,7 +62,7 @@
\wpre {f\;x_\idx} {\Lam y. \wpre {g\;y} {\Lam z. R\;\idx\;z}}
}
\\ \hline
\\ %\hline
% invariant local to thread g:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment