diff options
| -rw-r--r-- | toplevel/topdirs.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index a6b25ba5c..8bc066215 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -223,8 +223,7 @@ let dir_trace ppf lid = | _ -> let clos = eval_path path in (* Nothing to do if it's not a closure *) - if Obj.is_block clos && - (Obj.tag clos = 250 || Obj.tag clos = 249) then begin + if Obj.is_block clos && Obj.tag clos = Obj.closure_tag then begin match is_traced clos with | Some opath -> fprintf ppf "%a is already traced (under the name %a).@." |