From 6e3fc0992be7ddd841328028dec51d390fffb851 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 25 Jan 2017 01:48:41 +0100
Subject: [stm] Add common toploop for workers.

This is a small, but convenient refactoring, as it will allow common
argument parsing.
---
 stm/queryworkertop.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'stm/queryworkertop.ml')

diff --git a/stm/queryworkertop.ml b/stm/queryworkertop.ml
index fff6d55434..9d30473739 100644
--- a/stm/queryworkertop.ml
+++ b/stm/queryworkertop.ml
@@ -8,11 +8,7 @@
 
 module W = AsyncTaskQueue.MakeWorker(Stm.QueryTask)
 
-let () = Coqtop.toploop_init := (fun args ->
-        Flags.make_silent true;
-        W.init_stdout ();
-        CoqworkmgrApi.init !Flags.async_proofs_worker_priority;
-        args)
+let () = Coqtop.toploop_init := WorkerLoop.loop W.init_stdout
 
 let () = Coqtop.toploop_run := W.main_loop
 
-- 
cgit v1.2.3