Commit b9db1c03 authored by François Bobot's avatar François Bobot

remove get_prover_data from session.mli

parent 3c180f29
......@@ -109,11 +109,6 @@ let loadpath = (Whyconf.loadpath (Whyconf.get_main config))
let env = Env.create_env loadpath
let provers = Whyconf.get_provers config
let provers =
Util.Mstr.fold (Session.get_prover_data env) provers Util.Mstr.empty
let usleep t = ignore (Unix.select [] [] [] t)
......
......@@ -35,13 +35,6 @@ type prover_data = private
}
(** record of necessary data for a given external prover *)
(* stays here until old IDE is deleted *)
val get_prover_data :
Env.env -> Util.Mstr.key -> Whyconf.config_prover ->
prover_data Util.Mstr.t -> prover_data Util.Mstr.t
(** loads all provers from the current configuration *)
(** {2 Transformation's data} *)
type transformation_data
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment