Commit 7ca93801 authored by Francois Bobot's avatar Francois Bobot

Coq_plugin : retrieve Typing -> Lexer

parent 352a03bc
......@@ -46,7 +46,7 @@ let timelimit = match config.timelimit with
| None -> 3
| Some t -> t
let env = Env.create_env (Typing.retrieve config.loadpath)
let env = Env.create_env (Lexer.retrieve config.loadpath)
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