diff options
Diffstat (limited to 'bytecomp/instruct.mli')
| -rw-r--r-- | bytecomp/instruct.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index 31f526d22..6b9367f9a 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -44,6 +44,7 @@ type debug_event = ev_kind: debug_event_kind; (* Before/after event *) ev_info: debug_event_info; (* Extra information *) ev_typenv: Env.summary; (* Typing environment *) + ev_typsubst: Subst.t; (* Substitution over types *) ev_compenv: compilation_env; (* Compilation environment *) ev_stacksize: int; (* Size of stack frame *) ev_repr: debug_event_repr } (* Position of the representative *) |