update CBMC applications URL

Daniel Kroening · Daniel Kroening · commit a304db6c41ce · 2017-05-23T19:35:52.000+01:00
diff --git a/doc/html-manual/cbmc.shtml b/doc/html-manual/cbmc.shtml
@@ -368,7 +368,7 @@ representation.
 </ul>
 
 <p class="justified">
-We also have a <a href="http://www.cprover.org/cbmc/applications.shtml">list of
+We also have a <a href="http://www.cprover.org/cbmc/applications/">list of
 interesting applications of CBMC</a>.</p>
 
 </div>
