aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/tacworkertop.ml
diff options
context:
space:
mode:
Diffstat (limited to 'stm/tacworkertop.ml')
-rw-r--r--stm/tacworkertop.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/tacworkertop.ml b/stm/tacworkertop.ml
index f202fc7c5..22b45a9be 100644
--- a/stm/tacworkertop.ml
+++ b/stm/tacworkertop.ml
@@ -10,5 +10,5 @@ module W = AsyncTaskQueue.MakeWorker(Stm.TacTask) ()
let () = Coqtop.toploop_init := WorkerLoop.loop W.init_stdout
-let () = Coqtop.toploop_run := (fun _ _ -> W.main_loop ())
+let () = Coqtop.toploop_run := (fun _ ~state:_ -> W.main_loop ())