From 30338a3f3846339c7a289a34dcde0c0d13c26ee9 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Tue, 22 Jun 2010 13:58:46 +0200
Subject: [PATCH] Removed outdated command-line options.

---
 compiler/utilities/global/compiler_utils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/utilities/global/compiler_utils.ml b/compiler/utilities/global/compiler_utils.ml
index 78f5c0a..f16e792 100644
--- a/compiler/utilities/global/compiler_utils.ml
+++ b/compiler/utilities/global/compiler_utils.ml
@@ -72,7 +72,7 @@ and doc_locate_stdlib = "\t\tLocate standard libray"
 and doc_no_pervasives = "\tDo not load the pervasives module"
 and doc_target =
   "<lang>\tGenerate code in language <lang>\n\t\t\t(with <lang>=c,"
-  ^ " vhdl_seq, vhdl_df,\n\t\t\t java or z3z)"
+  ^ " java or z3z)"
 and doc_full_type_info = "\t\t\tPrint full type information"
 and doc_target_path =
   "<path>\tGenerated files will be placed in <path>\n\t\t\t(the directory is cleaned)"