$OpenBSD: patch-src_gobject_mli,v 1.1 2013/06/18 09:27:37 dcoppa Exp $

commit b8d0ac8d321d54c21b1d3b74b6b7d617b3c97411
Author: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Date:   Sat May 4 10:43:20 2013 +0900

Make Gobject.obj injective

--- src/gobject.mli.orig	Thu Aug 23 12:37:48 2012
+++ src/gobject.mli	Tue Jun 18 10:23:43 2013
@@ -24,3 +24,4 @@
 
-type -'a obj
+type ghidden
+type -'a obj = private GOBJ of ghidden * ghidden
 type g_type
