From 26b263fbe8938d1fe13ee67ab87a2edeea9c99aa Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 12 Jun 2014 17:05:49 +0200
Subject: Nothing.

---
 main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.ml')

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