From d87bc5b9fb353655f8b905d73293abe96b0ad063 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 18 Sep 2017 11:35:21 +0200
Subject: Add XML protocol support for Wait.

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

(limited to 'ide/ide_slave.ml')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index b11a11606f..f00b1e1421 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -413,6 +413,7 @@ let eval_call c =
     Interface.quit = (fun () -> quit := true);
     Interface.init = interruptible init;
     Interface.about = interruptible about;
+    Interface.wait = interruptible Stm.wait;
     Interface.interp = interruptible interp;
     Interface.handle_exn = handle_exn;
     Interface.stop_worker = Stm.stop_worker;
-- 
cgit v1.2.3