]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
* binding update to recognize the new event scheme generated by
[helm.git] / helm / DEVEL / lablgtkmathview / ml_gtk_mathview.c
index 96278f2b8e1334fbba5779d9724836d8badde17c..2c3d80c8112a86aec568d818b0c52a5048015e95 100644 (file)
@@ -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)) {