diff --git a/usage.html b/usage.html index 2989403..d81ec8c 100644 --- a/usage.html +++ b/usage.html @@ -55,7 +55,7 @@

Basic Usage

Note that all of these competition modes are really shortcuts for other combinations e.g. casc mode is a shortcut for -vampire --mode portflio --schedule casc -t 300s -p tptp +vampire --mode portfolio --schedule casc -t 300s -p tptp

Options and More Advanced Usage