From d804ec4db20717c68c2c8e8f53e804b425d62b90 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Mon, 11 May 2020 06:40:34 +0200
Subject: fix index-mppa_k1c.html

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

(limited to 'doc')

diff --git a/doc/index-mppa_k1c.html b/doc/index-mppa_k1c.html
index 50e11def..86fd4166 100644
--- a/doc/index-mppa_k1c.html
+++ b/doc/index-mppa_k1c.html
@@ -302,7 +302,7 @@ This IR is generic over the processor, even if currently, only used for MPPA_K1C
   <TD>Emission of purely sequential assembly code</TD>
   <TD>Machblock to Asmblock</TD>
   <TD><A HREF="html/compcert.mppa_k1c.Asmblockgen.html"><I>Asmblockgen</I></A></TD>
-  <TD><A HREF="html/compcert.mppa_k1c.Asmblockgenproof0.html"><I>Asmblockgenproof0</I></A><BR>
+  <TD><A HREF="html/compcert.mppa_k1c.lib.Asmblockgenproof0.html"><I>Asmblockgenproof0</I></A><BR>
       <A HREF="html/compcert.mppa_k1c.Asmblockgenproof1.html"><I>Asmblockgenproof1</I></A><BR>
       <A HREF="html/compcert.mppa_k1c.Asmblockgenproof.html"><I>Asmblockgenproof</I></A></TD>
 </TR>
-- 
cgit