Commit 23142e4b authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Fix text in margins.

parent 3aa7593e
...@@ -106,12 +106,9 @@ ...@@ -106,12 +106,9 @@
\queueInv \queueInv
& \eqdef & \eqdef
& \Exists \gmonos, \gtokens. \knowInv{}{\queueInvInner} & \Exists \gmonos, \gtokens. \\
% & & \hspace{4em}\knowInv{}{\queueInvInner}\\
\\
% invariant (inner): % invariant (inner):
\queueInvInner \queueInvInner
& \eqdef & \eqdef
\\ \\
...@@ -209,7 +206,7 @@ ...@@ -209,7 +206,7 @@
\caption{Internal invariant of the queue} \caption{Internal invariant of the queue}
\label{fig:queue:inv:inv} \label{fig:queue:inv:inv}
\end{subfigure}% \end{subfigure}%
\vspace{-1.5ex}
\Description{Definitions of assertions intervening in the proof of the bounded queue.} \Description{Definitions of assertions intervening in the proof of the bounded queue.}
\caption{Definitions of assertions intervening in the proof of the bounded queue} \caption{Definitions of assertions intervening in the proof of the bounded queue}
\label{fig:queue:inv} \label{fig:queue:inv}
......
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