jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Removed outdated command-line options.

Browse source
This commit is contained in:
Adrien Guatto 2010-06-22 13:58:46 +02:00 committed by Léonard Gérard
parent 8515c533d2
commit 30338a3f38
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/utilities/global/compiler_utils.ml
View file

@ -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)"