X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fml_gtk_mathview.c;h=0cb2728d7d121b4dece9fe8f2c4efa168dacbcd2;hb=e4ea08104e12e2d9e546f37e2d4fbb4febe75d29;hp=bc7d13528ab211c8e1d175a49456ae01096fe507;hpb=cdd9c120b37a5f2b3bdc760807b1d3fdc46223c7;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
index bc7d13528..0cb2728d7 100644
--- a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
+++ b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
@@ -30,7 +30,7 @@
 #include <caml/callback.h>
 #include <caml/fail.h>
 
-#include <gtkmathview/gtkmathview.h>
+#include <gtkmathview.h>
 #include <ml_gtk.h>
 
 #include <wrappers.h>
@@ -40,10 +40,7 @@
 #include <gtk_tags.h>
 
 #include <minidom.h>
-#include "minidom/ml_minidom.h"
-
-/* <CSC/>: Next row should be put in a .h of lablgtk. */
-#define GtkAdjustment_val(val) check_cast(GTK_ADJUSTMENT,val)
+#include "mlminidom/ml_minidom.h"
 
 #define GtkMathView_val(val) check_cast(GTK_MATH_VIEW,val)