diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchpos.mli')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/searchpos.mli b/otherlibs/labltk/browser/searchpos.mli index 1da1a877a..cea3b4602 100644 --- a/otherlibs/labltk/browser/searchpos.mli +++ b/otherlibs/labltk/browser/searchpos.mli @@ -67,7 +67,7 @@ val search_pos_structure : pos:int -> Typedtree.structure_item list -> (fkind * Env.t * Location.t) list val search_pos_info : - pos:int -> Stypes.type_info list -> (fkind * Env.t * Location.t) list + pos:int -> Stypes.annotation list -> (fkind * Env.t * Location.t) list val view_type : fkind -> env:Env.t -> unit val view_type_menu : fkind -> env:Env.t -> parent:'a widget -> menu widget |