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 521f120c2..4ea361984 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -62,7 +62,7 @@ let rec expression event env = function E_ident lid -> begin try let (p, valdesc) = Env.lookup_value lid env in - (path event p, Ctype.correct_levels env valdesc.val_type) + (path event p, Ctype.correct_levels valdesc.val_type) with Not_found -> raise(Error(Unbound_long_identifier lid)) end |