changeset 300:76221d7c9418

Fixed a missing space
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 13:13:19 +0200
parents 89df41476acf
children 72480b185ba0
files provsec/paper.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 13:11:23 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 13:13:19 2010 +0200
@@ -563,7 +563,7 @@
 \end{verbatim}
 
 Notice that we need to take special care that the temporary variables
-\verb|a_then0|, \verb|cond0| etc.\ are\emph{not}\/ combined in the second step,
+\verb|a_then0|, \verb|cond0| etc.\ are \emph{not}\/ combined in the second step,
 as they will never by used outside the transformed if.
 
 Here follows a description of the algorithm used for the rewrite: