X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fml_gtk_mathview.c;h=2c3d80c8112a86aec568d818b0c52a5048015e95;hb=56b68e877e6eb517c3efba7d9485947e940f7785;hp=96278f2b8e1334fbba5779d9724836d8badde17c;hpb=b689a2381eedeadd6a23f74348b4322c5f0085d6;p=helm.git diff --git a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c index 96278f2b8..2c3d80c81 100644 --- a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c +++ b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c @@ -154,7 +154,7 @@ value ml_gtk_math_view_gdome_element_of_boxed_option (value arg1) if (arg1==Val_int(0)) { assert(0); } else { - nr = (GdomeElement*) Field(Field(arg1,0), 1); + nr = (GdomeElement*) Field(Field(arg1,0),1); } res = Val_Element(nr); if (res==Val_int(0)) {