Skip to content
Snippets Groups Projects
Commit 99132c9e authored by Andre Maroneze's avatar Andre Maroneze Committed by David Bühler
Browse files

[Eva] hide experimental and deprecated options

parent 9e7f7673
No related branches found
No related tags found
No related merge requests found
......@@ -1039,6 +1039,7 @@ let () = ArrayPrecisionLevel.add_update_hook
and mutually dependent for sanity checking.
Also, they depend on BuiltinsOverrides, so they cannot be defined before it. *)
let () = Parameter_customize.set_group initial_context
let () = Parameter_customize.is_invisible ()
module SaveFunctionState =
Kernel_function_map
(struct
......@@ -1055,6 +1056,7 @@ module SaveFunctionState =
end)
let () = SaveFunctionState.add_aliases ["-val-save-fun-state"]
let () = Parameter_customize.set_group initial_context
let () = Parameter_customize.is_invisible ()
module LoadFunctionState =
Kernel_function_map
(struct
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment