diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchid.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index 0cad8ffc7..5450c8616 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -206,7 +206,7 @@ let mkpath = function ~f:(fun acc x -> Pdot (acc, x, 0)) let get_fields ~prefix ~sign self = - let env = open_signature (mkpath prefix) sign initial in + let env = open_signature Fresh (mkpath prefix) sign initial in match (expand_head env self).desc with Tobject (ty_obj, _) -> let l,_ = flatten_fields ty_obj in l |