diff options
Diffstat (limited to 'file_formats')
-rw-r--r-- | file_formats/cmo_format.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/file_formats/cmo_format.mli b/file_formats/cmo_format.mli index 0952157b37..545e4ec264 100644 --- a/file_formats/cmo_format.mli +++ b/file_formats/cmo_format.mli @@ -20,7 +20,7 @@ open Misc (* Relocation information *) type reloc_info = - Reloc_literal of Lambda.structured_constant (* structured constant *) + Reloc_literal of Obj.t (* structured constant *) | Reloc_getglobal of Ident.t (* reference to a global *) | Reloc_setglobal of Ident.t (* definition of a global *) | Reloc_primitive of string (* C primitive number *) |