X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20001129_gtkmathview-0.2.1%2Fml_gtk_mathview.c;h=185d9f04faa026c74f4cd8ce01e62b2fe2dfca30;hb=e7e2a523299d807370b292b44e77f46fad1638c9;hp=3c86f0057b806f22b2ac12883a2db9fdf37c10fb;hpb=361db69a5309f184e543bc7b6fe83a21d82b6952;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/ml_gtk_mathview.c b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/ml_gtk_mathview.c
index 3c86f0057..185d9f04f 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/ml_gtk_mathview.c
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/ml_gtk_mathview.c
@@ -8,7 +8,7 @@
 #include <caml/callback.h>
 #include <caml/fail.h>
 
-#include <gtkmathview/gtkmathview.h>
+#include <gtkmathview.h>
 #include <ml_gtk.h>
 
 #include <wrappers.h>