From 9dd23d1c135d4663d85c1e274ee4dd510c9cf4f2 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Wed, 14 Apr 2021 13:37:40 +0000
Subject: Update on Overleaf.

---
 proof.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proof.tex')

diff --git a/proof.tex b/proof.tex
index 058969a..cb35756 100644
--- a/proof.tex
+++ b/proof.tex
@@ -156,7 +156,7 @@ The final lemma we need is that the Verilog we generate is deterministic. This r
   \centering
   \begin{tabular}{lrrrrr}
     \toprule
-    & \textbf{Coq code} & \multicolumn{1}{p{1cm}}{\centering\textbf{OCaml code}} & \textbf{Spec} & \multicolumn{1}{p{2cm}}{\centering\textbf{Theorems \& Proofs}} & \textbf{Total}\\
+    & \textbf{Coq code} & \multicolumn{1}{p{1cm}}{\raggedleft\textbf{OCaml code}} & \textbf{Spec} & \multicolumn{1}{p{2cm}}{\raggedleft\textbf{Theorems \& Proofs}} & \textbf{Total}\\
     \midrule
     {Data structures and libraries}     & 274  & --- & ---  & 654  & 928  \\
     {Integers and values}               & 98   & --- & 15   & 744  & 857  \\
-- 
cgit 

