summaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'main.ml')
-rw-r--r--main.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.ml b/main.ml
index 20e3dd3..fa134ed 100644
--- a/main.ml
+++ b/main.ml
@@ -10,7 +10,7 @@ let usage = "usage: analyzer [options] file.scade"
let options = [
"--dump", Arg.Set dump, "Dump program source.";
- "--vest", Arg.Set vtest, "Verbose testing.";
+ "--vtest", Arg.Set vtest, "Verbose testing.";
"--test", Arg.Set test, "Simple testing.";
]