From 8330f5cfd6a332df10fc806b0c0bdab6e0abe8e7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Fri, 25 Apr 2014 19:46:30 +0200
Subject: Adding a stm/ folder, as asked during last workgroup. It was
 essentially moving files around. A bunch of files from lib/ that were only
 used in the STM were moved, as well as part of toplevel/ related to the STM.

---
 lib/workerPool.mli | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 lib/workerPool.mli

(limited to 'lib/workerPool.mli')

diff --git a/lib/workerPool.mli b/lib/workerPool.mli
deleted file mode 100644
index d7a546929..000000000
--- a/lib/workerPool.mli
+++ /dev/null
@@ -1,30 +0,0 @@
-(************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012     *)
-(*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
-(************************************************************************)
-
-module Make(Worker : sig
-  type process
-  val spawn :
-      ?prefer_sock:bool -> ?env:string array -> string -> string array ->
-      process * in_channel * out_channel
-end) : sig
-
-type worker_id = int
-type spawn =
-  args:string array -> env:string array -> unit ->
-    in_channel * out_channel * Worker.process
-
-val init :
-  size:int -> manager:(cancel:bool ref -> worker_id -> spawn -> unit) -> unit
-val is_empty : unit -> bool
-val n_workers : unit -> int
-val cancel : worker_id -> unit
-
-(* The worker should call this function *)
-val worker_handshake : in_channel -> out_channel -> unit
-
-end
-- 
cgit v1.2.3