diff options
Diffstat (limited to 'otherlibs/labltk/browser/viewer.ml')
| -rw-r--r-- | otherlibs/labltk/browser/viewer.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index ccbda5549..4f5d62ce8 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -169,10 +169,10 @@ let search_string ?(mode="symbol") ew = begin match guess_search_mode text with `Long -> search_string_symbol text | `Pattern -> search_pattern_symbol text - | `Type -> search_string_type text ~mode:`included + | `Type -> search_string_type text ~mode:`Included end - | "Type" -> search_string_type text ~mode:`included - | "Exact" -> search_string_type text ~mode:`exact + | "Type" -> search_string_type text ~mode:`Included + | "Exact" -> search_string_type text ~mode:`Exact | _ -> assert false in match l with [] -> () |