Commit 8039f0d5 authored by Sylvain Dailler's avatar Sylvain Dailler

Removed useless set_session

parent 17f2d252
......@@ -110,8 +110,6 @@ let create_controller config env ses =
provers;
c
let set_session cont ses = cont.controller_session <- ses
let tn_proved c tid = Htn.find_def c.proof_state.tn_state false tid
let pn_proved c pid = Hpn.find_def c.proof_state.pn_state false pid
let th_proved c th =
......
......@@ -77,9 +77,6 @@ val create_controller: Whyconf.config -> Env.env -> Session_itp.session -> contr
(** creates a controller for the given session.
The config and env is used to load the drivers for the provers. *)
(* TEMPORARY *)
val set_session : controller -> Session_itp.session -> unit
(** Used to find if a proof/trans node or theory is proved or not *)
val tn_proved: controller -> Session_itp.transID -> bool
val pn_proved: controller -> Session_itp.proofNodeID -> bool
......
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