]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/ml_gtk_mathview.c
new MathQL syntax
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / ml_gtk_mathview.c
index 3c86f0057b806f22b2ac12883a2db9fdf37c10fb..185d9f04faa026c74f4cd8ce01e62b2fe2dfca30 100644 (file)
@@ -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>