X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fml_gtk_mathview.c;fp=helm%2FDEVEL%2Flablgtkmathview%2Fml_gtk_mathview.c;h=7e260cd97817734f367b89031cca9d541f115925;hb=34e75ac7ef031c8cfdd0fb184a5e8db027f1ae6a;hp=2c3d80c8112a86aec568d818b0c52a5048015e95;hpb=6bb809fdd7a94a55031dbb50f5510539aae13b28;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
index 2c3d80c81..7e260cd97 100644
--- a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
+++ b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
@@ -148,7 +148,8 @@ value ml_gtk_math_view_gdome_element_of_boxed_option (value arg1)
 {
    CAMLparam1(arg1);
 
-   GdomeElement* nr;
+   GdomeException exc = 0;
+   GdomeElement* nr = NULL;
    CAMLlocal1 (res);
 
    if (arg1==Val_int(0)) {
@@ -156,6 +157,12 @@ value ml_gtk_math_view_gdome_element_of_boxed_option (value arg1)
    } else {
       nr = (GdomeElement*) Field(Field(arg1,0),1);
    }
+
+   if (nr != NULL) {
+     gdome_el_ref(nr, &exc);
+     assert(exc == 0);
+   }
+   
    res = Val_Element(nr);
    if (res==Val_int(0)) {
       assert(0);
@@ -175,7 +182,12 @@ value ml_gtk_math_view_gdome_element_option_of_boxed_option (value arg1)
    if (arg1==Val_int(0)) {
       res=Val_unit;
    } else {
-      res = Val_option_ptr((GdomeElement*) Field(Field(arg1,0),1),Val_Element);
+      GdomeException exc = 0;
+      GdomeElement* elem = (GdomeElement*) Field(Field(arg1,0),1);
+      assert(elem != NULL);
+      gdome_el_ref(elem, &exc);
+      assert(exc == 0);
+      res = Val_option_ptr(elem, Val_Element);
    }
 
    CAMLreturn(res);