From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 29 Jan 2001 12:23:32 +0000 (+0000)
Subject: some adjustments to include files
X-Git-Tag: no-uwobo~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=b520a2b8f30ded0c0a29e916c41079e93f10c13b

some adjustments to include files
---

diff --git a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
index bc7d13528..54d2dd217 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,7 +40,7 @@
 #include <gtk_tags.h>
 
 #include <minidom.h>
-#include "minidom/ml_minidom.h"
+#include "mlminidom/ml_minidom.h"
 
 /* <CSC/>: Next row should be put in a .h of lablgtk. */
 #define GtkAdjustment_val(val) check_cast(GTK_ADJUSTMENT,val)