diff options
Diffstat (limited to 'doc/index.html')
-rw-r--r-- | doc/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/index.html b/doc/index.html index c3912cb2..34b87924 100644 --- a/doc/index.html +++ b/doc/index.html @@ -270,10 +270,10 @@ code. </TR> <TR valign="top"> - <TD>Branch tunneling</TD> + <TD>(LTL) Branch tunneling</TD> <TD>LTL to LTL</TD> - <TD><A HREF="html/compcert.backend.Tunneling.html">Tunneling</A></TD> - <TD><A HREF="html/compcert.backend.Tunnelingproof.html">Tunnelingproof</A></TD> + <TD><A HREF="html/compcert.backend.LTLTunneling.html">LTLTunneling</A></TD> + <TD><A HREF="html/compcert.backend.LTLTunnelingproof.html">LTLTunnelingproof</A></TD> </TR> <TR valign="top"> |