Commit c193ebbd authored by Freek Wiedijk's avatar Freek Wiedijk
Browse files

removed a blank line

parent 988c1899
......@@ -141,7 +141,7 @@ This specification (proven with VST) shows that \TNaCle{crypto_scalarmult} in C
% For the sake of completeness we proved all intermediate functions.
\subheading{Memory aliasing.}
The semicolon in the \VSTe{SEP} parts of the Hoare triples represents the \emph{separating conjunction} (often written as a star), which means that
the memory shares of \texttt{q}, \texttt{n} and \texttt{p} do not overlap.
In other words,
Supports Markdown
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