1 files changed, 1 insertions, 1 deletions
diff --git a/proof.tex b/proof.tex
index 36b997b..9a4ab40 100644
--- a/proof.tex
+++ b/proof.tex
@@ -154,7 +154,7 @@ The final lemma we need is that the Verilog we generate is deterministic. This r
 
 \begin{table*}
   \centering
-  \begin{tabular}{llllll}
+  \begin{tabular}{lrrrrr}
     \toprule
     & \textbf{Coq code} & \textbf{OCaml code} & \textbf{Specifications} & \textbf{Theorems \& Proofs} & \textbf{Total}\\
     \midrule