remove useless values from Parameter_customize

src/kernel_services/cmdline_parameters/parameter_customize.ml

@@ -95,10 +95,6 @@ let no_category () = use_category_ref := false
 
 let is_permissive_ref = ref false
 
-let filepath_existence_ref = ref Filepath.Indifferent
-let set_filepath_existence e = filepath_existence_ref := e
-let filepath_existence () = !filepath_existence_ref
-
 let find_kf_by_name: (string -> Cil_types.kernel_function) ref =
   Extlib.mk_fun "Parameter_customize.find_kf_by_name"
 

src/kernel_services/cmdline_parameters/parameter_customize.mli

@@ -148,19 +148,6 @@ val is_permissive_ref: bool ref
     Set by {!Kernel.Permissive} option
  *)
 
-val set_filepath_existence: Filepath.existence -> unit
-(** For arguments which correspond to filepaths, [Indifferent] (default)
-    does not impose any constraints; [Must_exist] and [Must_not_exist] raise
-    exceptions when not satisfied.
-    @since Frama-C+dev
- *)
-
-val filepath_existence: unit -> Filepath.existence
-(** Retrieves filepath existence constraints (see {!set_filepath_existence}
-    for details).
-    @since Frama-C+dev
- *)
-
 (* ************************************************************************* *)
 (** {2 Function names} *)
 (* ************************************************************************* *)
@@ -228,7 +215,6 @@ val do_iterate_ref: bool option ref
 val is_visible_ref: bool ref
 val module_name_ref: string ref
 val use_category_ref: bool ref
-val filepath_existence_ref: Filepath.existence ref
 
 (**/**)