diff options
Diffstat (limited to 'www/GetStarted.html')
| -rw-r--r-- | www/GetStarted.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 890510ab..5c445059 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -86,7 +86,7 @@ necessary, but KLEE runs very slowly in Debug mode). </div> </li> - <li>You're ready to go! Go to the <a href="tutorials.html">Tutorials</a> page + <li>You're ready to go! Go to the <a href="Tutorials.html">Tutorials</a> page to try KLEE.</li> </ol> |