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)) {