X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.ml;h=b937831f7b353c19f875efe6791d8f7b08c73350;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=41df006325aa26c0da20fbdd839e54518daa5a34;hpb=4a97b3700b140024e1783ac12501ad5dfa4be9b5;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.ml b/helm/DEVEL/lablgtkmathview/gMathView.ml
index 41df00632..b937831f7 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathView.ml
@@ -20,13 +20,12 @@
  * For details, send a mail to the author.
  *)
 
-(*open Gaux*)
+open Gaux
 open Gtk
 open Gtk_mathview
 open GtkBase
 open GtkMathView
 open GObj
-open Misc
 
 exception ErrorLoadingFile of string;;
 exception ErrorWritingFile of string;;
@@ -59,7 +58,7 @@ class math_view obj = object
  method get_hadjustment = new GData.adjustment (MathView.get_hadjustment obj)
  method get_vadjustment = new GData.adjustment (MathView.get_vadjustment obj)
  method get_buffer = MathView.get_buffer obj
- method get_frame = new GFrame.frame (MathView.get_frame obj)
+ method get_frame = new GBin.frame (MathView.get_frame obj)
  method set_font_size = MathView.set_font_size obj
  method get_font_size = MathView.get_font_size obj
  method set_anti_aliasing = MathView.set_anti_aliasing obj