diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2019-08-07 11:32:24 +0200 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2019-10-17 10:03:58 +0200 |
commit | 816a5088e08c8a75c8a14b38fcbddbbc058f573c (patch) | |
tree | 816ea4b2eb5ca23d224297a7f1741d4d9a6692cc /debugger/printval.ml | |
parent | 86248f11620aa72060cb2a21a1336d4936f489ac (diff) | |
download | ocaml-816a5088e08c8a75c8a14b38fcbddbbc058f573c.tar.gz |
Avoid duplicated mark_loops
Diffstat (limited to 'debugger/printval.ml')
-rw-r--r-- | debugger/printval.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debugger/printval.ml b/debugger/printval.ml index a6d83ce79f..6e634ad177 100644 --- a/debugger/printval.ml +++ b/debugger/printval.ml @@ -99,7 +99,6 @@ let print_named_value max_depth exp env obj ppf ty = | _ -> let n = name_value obj ty in fprintf ppf "$%i" n in - Printtyp.reset_and_mark_loops ty; fprintf ppf "@[<2>%a:@ %a@ =@ %a@]@." print_value_name exp Printtyp.type_expr ty |