From 89562c917e61c56a167ba13b86021b286cb7e257 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 8 Dec 2021 13:59:00 +0100
Subject: Allocproof link

---
 doc/index-verimag.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/index-verimag.html b/doc/index-verimag.html
index 4ca4a7bc..daed4d6d 100644
--- a/doc/index-verimag.html
+++ b/doc/index-verimag.html
@@ -588,7 +588,7 @@ Specific to KVX:
   <TD>Register allocation (validation a posteriori)</TD>
   <TD>RTL to LTL</TD>
   <TD><A HREF="html/compcert.backend.Allocation.html">Allocation</A></TD>
-  <TD><A HREF="html/compcert.backend.Allocproof.html">Allocproof</A></TD>
+  <TD><A HREF="html/compcert.backend.Allocationproof.html">Allocationproof</A></TD>
 </TR>
 
 <TR valign="top">
-- 
cgit