From c784ea75ce4e0d63b4146ccf1e1f174acc5bf5ba Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Dec 2010 22:50:44 +0000
Subject: [PATCH] Now useless type declaration removed.

---
 matita/matita/matitaMathView.ml | 28 ----------------------------
 1 file changed, 28 deletions(-)

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index 3c87cdca4..34ad3ca4f 100644
--- a/matita/matita/matitaMathView.ml
+++ b/matita/matita/matitaMathView.ml
@@ -875,34 +875,6 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
   end
 
  (** constructors *)
-type 'widget constructor =
- ?hadjustment:GData.adjustment ->
- ?vadjustment:GData.adjustment ->
- ?font_size:int ->
- ?log_verbosity:int ->
- ?auto_indent:bool ->
- ?highlight_current_line:bool ->
- ?indent_on_tab:bool ->
- ?indent_width:int ->
- ?insert_spaces_instead_of_tabs:bool ->
- ?right_margin_position:int ->
- ?show_line_marks:bool ->
- ?show_line_numbers:bool ->
- ?show_right_margin:bool ->
- ?smart_home_end:SourceView2Enums.source_smart_home_end_type ->
- ?tab_width:int ->
- ?editable:bool ->
- ?cursor_visible:bool ->
- ?justification:GtkEnums.justification ->
- ?wrap_mode:GtkEnums.wrap_mode ->
- ?accepts_tab:bool ->
- ?border_width:int ->
- ?width:int ->
- ?height:int ->
- ?packing:(GObj.widget -> unit) ->
- ?show:bool -> unit ->
-  'widget
-
 let cicMathView ?hadjustment ?vadjustment ?font_size ?log_verbosity =
   SourceView.make_params [] ~cont:(
     GtkText.View.make_params ~cont:(
-- 
2.39.2