From 2d4b9ba3317a11c6af2ad783bfb2a08e7123ac6d Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 20 Feb 2013 11:15:26 +0000
Subject: Adding scrollbars to CoqIDE autocompletion

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16224 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/wg_ScriptView.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'ide/wg_ScriptView.ml')

diff --git a/ide/wg_ScriptView.ml b/ide/wg_ScriptView.ml
index 464f8f949..6d7dc6bcc 100644
--- a/ide/wg_ScriptView.ml
+++ b/ide/wg_ScriptView.ml
@@ -85,8 +85,6 @@ let rec negate_action act = match act with
 
 type source_view = [ Gtk.text_view | `sourceview ] Gtk.obj
 
-module Proposals = Wg_Completion.Proposals
-
 class undo_manager (buffer : GText.buffer) =
 object(self)
   val mutable lock_undo = true
-- 
cgit v1.2.3