From a72b7db875780ccc84b9359ffa66c170cfe6ebfd Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 5 May 2015 19:19:08 +0200
Subject: Compatibility ocaml 3.12.

---
 ide/wg_ProofView.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ide/wg_ProofView.ml b/ide/wg_ProofView.ml
index a5faa60a81..1f3fa3ed36 100644
--- a/ide/wg_ProofView.ml
+++ b/ide/wg_ProofView.ml
@@ -6,6 +6,8 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
+open Util
+
 class type proof_view =
   object
     inherit GObj.widget
-- 
cgit v1.2.3