From cf6b12cb3a88fb3af6a7b3e91d17db8b06d23c81 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 1 Sep 2014 14:54:49 +0200
Subject: coqworkmgr

---
 lib/flags.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index 4697e4cacd..11909c5fa2 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -26,6 +26,10 @@ val async_proofs_always_delegate : bool ref
 val async_proofs_never_reopen_branch : bool ref
 val async_proofs_flags_for_workers : string list ref
 val async_proofs_worker_id : string ref
+type priority = Low | High
+val async_proofs_worker_priority : priority ref
+val string_of_priority : priority -> string
+val priority_of_string : string -> priority
 
 val debug : bool ref
 
-- 
cgit v1.2.3