Commit 8c03571f authored by Andrei Paskevich's avatar Andrei Paskevich

load plugins in replayer

parent 3e26f8f9
......@@ -109,6 +109,8 @@ let loadpath = (Whyconf.loadpath (Whyconf.get_main config))
let env = Env.create_env loadpath
let () = Whyconf.load_plugins (Whyconf.get_main config)
let usleep t = ignore (Unix.select [] [] [] t)
......
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