Commit cc478aa3 authored by François Bobot's avatar François Bobot
Browse files

Plugin : loaded in ide

parent ebe47266
......@@ -155,6 +155,9 @@ let gconfig =
Util.Mstr.fold (Gconfig.get_prover_data c.env) provers Util.Mstr.empty;
c
let () =
Whyconf.load_plugins (get_main ())
(********************)
(* opening database *)
......
Supports Markdown
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