diff options
Diffstat (limited to 'parsing/search.ml')
| -rw-r--r-- | parsing/search.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/search.ml b/parsing/search.ml index 74cdd77dd..fc5792fa0 100644 --- a/parsing/search.ml +++ b/parsing/search.ml @@ -107,7 +107,7 @@ let plain_display ref a c = let filter_by_module (module_list:dir_path list) (accept:bool) (ref:global_reference) _ _ = try - let sp = sp_of_global None ref in + let sp = sp_of_global ref in let sl = dirpath sp in let rec filter_aux = function | m :: tl -> (not (is_dirpath_prefix_of m sl)) && (filter_aux tl) |