From c8528ba19efdbdf9b13d35bced7ea35048d76378 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Tue, 2 Sep 2014 17:14:34 +0200
Subject: Fixup introduction of coqworkmgr

---
 ide/ide_slave.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index 7c5d7a0777..6e8d298aba 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -466,7 +466,7 @@ let () = Coqtop.toploop_init := (fun args ->
         let args = parse args in
         Flags.make_silent true;
         init_stdout ();
-        CoqworkmgrApi.(init High);
+        CoqworkmgrApi.(init Flags.High);
         args)
 
 let () = Coqtop.toploop_run := loop
-- 
cgit v1.2.3