Changeset 1797 for Deliverables/D1.2/CompilerProofOutline

Timestamp:

Feb 29, 2012, 2:03:54 PM (8 years ago)

Author:

mulligan

Message:

implemented brian's changes

File:

• Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) (2 diffs)

Deliverables/D1.2/CompilerProofOutline/outline.tex

@@ -1185 +1185 @@
 The result is shown in Table~\ref{table}.
 
-\begin{table}{h}
+\begin{table}
 \begin{center}
 \begin{tabular}{lrlrr}
@@ -1192 +1192 @@
 \hline
 Common &  4864 & 4.25 \permil & 20.67 & 17.0 \\
-Cminor &  1057 & 5.23 \permil & 5.53  &  6.0 \\
-Clight &  1856 & 5.23 \permil & 9.71  & 10.0 \\ 
+Clight &  1057 & 5.23 \permil & 5.53  &  6.0 \\
+Cminor &  1856 & 5.23 \permil & 9.71  & 10.0 \\ 
 RTLabs &  1252 & 1.17 \permil & 1.48  &  5.0 \\
 RTL    &   469 & 4.17 \permil & 1.95  &  2.0 \\