diff options
Diffstat (limited to 'debugger/eval.ml')
| -rw-r--r-- | debugger/eval.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/eval.ml b/debugger/eval.ml index 1e84d92081..c170e3378a 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -148,7 +148,7 @@ let rec expression event env = function and find_label lbl env ty path tydesc pos = function [] -> raise(Error(Wrong_label(ty, lbl))) - | (name, mut, ty_arg) :: rem -> + | (name, mut, _, ty_arg) :: rem -> if Ident.name name = lbl then begin let ty_res = Btype.newgenty(Tconstr(path, tydesc.type_params, ref Mnil)) |