Commit e0bcad64 authored by Andrei Paskevich's avatar Andrei Paskevich

bench does not need Scheduler

parent 426b7890
......@@ -26,7 +26,6 @@ open Task
open Trans
open Driver
open Call_provers
open Scheduler
type tool_id = {
tool_name : string;
......
......@@ -24,7 +24,6 @@ open Task
open Trans
open Driver
open Call_provers
open Scheduler
module BenchUtil : sig
val maximum_running_proofs: int ref
......
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