Closed avsm closed 4 years ago
I think we'll need the same change in ctypes-foreign-unthreaded/foreign.mli, too.
ctypes-foreign-unthreaded/foreign.mli
Good catch; pushed.
I think we'll need the same change in
ctypes-foreign-unthreaded/foreign.mli
, too.