diff --git a/src/coq-plugin/whytac.ml b/src/coq-plugin/whytac.ml index c49190a69a48c9509cf1f57ad9ea1b4c08e043f2..dfd695051d9c85c7a469a4ea2410b724b9717fde 100644 --- a/src/coq-plugin/whytac.ml +++ b/src/coq-plugin/whytac.ml @@ -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