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

whytac : use the access functions instead of fields. Last two commits don't...

whytac : use the access functions instead of fields. Last two commits don't compile with coq enabled.
parent ba0f7e79
......@@ -44,9 +44,9 @@ let config = Whyconf.read_config None
let main = Whyconf.get_main config
let cprovers = Whyconf.get_provers config
let timelimit = main.timelimit
let timelimit = timelimit main
let env = Env.create_env (Lexer.retrieve main.loadpath)
let env = Env.create_env (Lexer.retrieve (loadpath main))
let provers = Hashtbl.create 17
......
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