Closed gadmm closed 3 years ago
While auditing the naked pointers removal, I have found this remaining naked pointer. The code is not tested.
I tested it with the 2 examples:
examples/ex_glattr.ml
examples/ex_gl.ml
While auditing the naked pointers removal, I have found this remaining naked pointer. The code is not tested.