From: Claudio Sacerdoti Coen Date: Tue, 3 Apr 2001 07:58:15 +0000 (+0000) Subject: Line morally belonging to lablgtk/*.h now is there! Hence, removed X-Git-Tag: v0_1_2~44 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e26ebd18855378d62504edbbd848b892f68fe6b0;p=helm.git Line morally belonging to lablgtk/*.h now is there! Hence, removed --- diff --git a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c index 54d2dd217..0cb2728d7 100644 --- a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c +++ b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c @@ -42,9 +42,6 @@ #include #include "mlminidom/ml_minidom.h" -/* : Next row should be put in a .h of lablgtk. */ -#define GtkAdjustment_val(val) check_cast(GTK_ADJUSTMENT,val) - #define GtkMathView_val(val) check_cast(GTK_MATH_VIEW,val) #define FontManagerId_val(val) Int_val(val)