Commits

Dmitry Grebeniuk  committed dc2fd08

ti_inherit

  • Participants
  • Parent commits 0ca503c

Comments (0)

Files changed (1)

 
 value ti_inherit (ti : #ti 'a) : ti 'a =
   let meths = Meths.create () in
-  let type_id = Type_id.next () in
+  let type_id = ti#type_id in
   let put_func = ti#put_func
   and get_exn = ti#get_exn in
   let type_desc = ti#type_desc in
     ;
 
   end
-
-
 ;