diff options
Diffstat (limited to 'doc/index-mppa_k1c.html')
-rw-r--r-- | doc/index-mppa_k1c.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |