diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-11 06:40:34 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-11 06:40:34 +0200 |
| commit | d804ec4db20717c68c2c8e8f53e804b425d62b90 (patch) | |
| tree | 5676858acc920933f68d8212b8940e9303cf39b0 /doc | |
| parent | afefcbe84bfe603a7954fc99688636e40bfd1c1f (diff) | |
| download | compcert-kvx-d804ec4db20717c68c2c8e8f53e804b425d62b90.tar.gz compcert-kvx-d804ec4db20717c68c2c8e8f53e804b425d62b90.zip | |
fix index-mppa_k1c.html
Diffstat (limited to 'doc')
| -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> |