diff options
Diffstat (limited to 'bytecomp/instruct.ml')
| -rw-r--r-- | bytecomp/instruct.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index 9fd2cb940..4f4fa14fa 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -26,6 +26,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 *) |