Fix trailing end of sentence 'the value.'

Author: ssoelvsten

body.tex

@@ -684,7 +684,6 @@ \subsubsection{Declassification of the blocking level}
 Type labels of values created in branches are also tainted by the pc-label.
 Operations that check the type label, e.g., arithmetics or pattern
 matching, use the information in the type label to appropriately taint the blocking level.
-the value.
 \begin{lstlisting}
 (* ifc_type_labels.trp *)
 let val x = 100 raisedTo {alice}