diff options
Diffstat (limited to 'main.ml')
-rw-r--r-- | main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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."; ] |