diff options
Diffstat (limited to 'www/Documentation.html')
| -rw-r--r-- | www/Documentation.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/Documentation.html b/www/Documentation.html index b266e439..11152801 100644 --- a/www/Documentation.html +++ b/www/Documentation.html @@ -24,7 +24,7 @@ <li> <a href="klee-options.html">KLEE Options</a>: - Overview of the KLEE's main command-line options. + Overview of KLEE's main command-line options. </li> <li> |