Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 64b66bb1 authored by Sylvain Dailler's avatar Sylvain Dailler

Fixed -L which was not working due to re-creation of environnment.

parent 6212fc32
......@@ -124,7 +124,7 @@ let usage_str = Format.sprintf
(Filename.basename Sys.argv.(0))
(* build command line *)
let config, base_config, _env =
let config, base_config, env =
Why3.Whyconf.Args.initialize spec (fun f -> Queue.add f files) usage_str
let main : Whyconf.main = Whyconf.get_main config
......@@ -133,7 +133,7 @@ let provers : Whyconf.config_prover Whyconf.Mprover.t =
Whyconf.get_provers config
(* builds the environment from the [loadpath] *)
let env : Env.env = Env.create_env (Whyconf.loadpath main)
(*let env : Env.env = Env.create_env (Whyconf.loadpath main)*)
(* -- declare provers -- *)
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