From 0aa2544d04dbd4b6ee665b551ed165e4fb02d2fa Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Wed, 15 Jul 2015 10:36:12 +0200
Subject: Imported Upstream version 8.5~beta2+dfsg

---
 ide/wg_ProofView.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/wg_ProofView.mli')

diff --git a/ide/wg_ProofView.mli b/ide/wg_ProofView.mli
index 1fbf9900..c5e042ea 100644
--- a/ide/wg_ProofView.mli
+++ b/ide/wg_ProofView.mli
@@ -9,6 +9,7 @@
 class type proof_view =
   object
     inherit GObj.widget
+    method buffer : GText.buffer
     method refresh : unit -> unit
     method clear : unit -> unit
     method set_goals : Interface.goals option -> unit
-- 
cgit v1.2.3