Nothing.

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.";
 ]