diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 2f9b535..e2dbcc2 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -81,3 +81,25 @@ let add_inlined_node s = inline := s :: !inline
let flatten = ref false
let nodes_to_inline : string list ref = ref []
+
+
+let doc_verbose = "\t\t\tSet verbose mode"
+and doc_version = "\t\tThe version of the compiler"
+and doc_print_types = "\t\t\tPrint types"
+and doc_include = "
\t\tAdd to the list of include directories"
+and doc_stdlib = "\t\tDirectory for the standard library"
+and doc_object_file = "\t\tOnly generate a .epo object file"
+and doc_sim = "\t\tCreate simulation for node "
+and doc_locate_stdlib = "\t\tLocate standard libray"
+and doc_no_pervasives = "\tDo not load the pervasives module"
+and doc_flatten = "\t\tInline everything."
+and doc_target =
+ "\tGenerate code in language \n\t\t\t(with =c,"
+ ^ " java or z3z)"
+and doc_full_type_info = "\t\t\tPrint full type information"
+and doc_target_path =
+ "\tGenerated files will be placed in \n\t\t\t(the directory is"
+ ^ " cleaned)"
+and doc_noinit = "\t\tDisable initialization analysis"
+and doc_assert = "\t\tInsert run-time assertions for boolean node "
+and doc_inline = "\t\tInline node "
diff --git a/compiler/utilities/global/compiler_utils.ml b/compiler/utilities/global/compiler_utils.ml
index 352fd9b..fc0f567 100644
--- a/compiler/utilities/global/compiler_utils.ml
+++ b/compiler/utilities/global/compiler_utils.ml
@@ -109,27 +109,5 @@ let print_header_info ff cbeg cend =
Sys.argv
cend
-
-let doc_verbose = "\t\t\tSet verbose mode"
-and doc_version = "\t\tThe version of the compiler"
-and doc_print_types = "\t\t\tPrint types"
-and doc_include = "\t\tAdd to the list of include directories"
-and doc_stdlib = "\t\tDirectory for the standard library"
-and doc_object_file = "\t\tOnly generate a .epo object file"
-and doc_sim = "\t\tCreate simulation for node "
-and doc_locate_stdlib = "\t\tLocate standard libray"
-and doc_no_pervasives = "\tDo not load the pervasives module"
-and doc_flatten = "\t\tInline everything."
-and doc_target =
- "\tGenerate code in language \n\t\t\t(with =c,"
- ^ " java or z3z)"
-and doc_full_type_info = "\t\t\tPrint full type information"
-and doc_target_path =
- "\tGenerated files will be placed in \n\t\t\t(the directory is"
- ^ " cleaned)"
-and doc_noinit = "\t\tDisable initialization analysis"
-and doc_assert = "\t\tInsert run-time assertions for boolean node "
-and doc_inline = "\t\tInline node "
-
let errmsg = "Options are:"