diff options
Diffstat (limited to 'asmcomp/debuginfo.mli')
| -rw-r--r-- | asmcomp/debuginfo.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/debuginfo.mli b/asmcomp/debuginfo.mli index cf6179cd37..ef4d55ad91 100644 --- a/asmcomp/debuginfo.mli +++ b/asmcomp/debuginfo.mli @@ -12,7 +12,7 @@ type kind = Dinfo_call | Dinfo_raise -type t = { +type t = private { dinfo_kind: kind; dinfo_file: string; dinfo_line: int; |