diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/completion/list_interfaces/list_interfaces.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/completion/list_interfaces/list_interfaces.ml b/src/completion/list_interfaces/list_interfaces.ml index a8d5e7bed..739a831a2 100644 --- a/src/completion/list_interfaces/list_interfaces.ml +++ b/src/completion/list_interfaces/list_interfaces.ml @@ -132,7 +132,10 @@ let get_interfaces_by_type out intf_type = let get_interfaces = let types = List.rev !intf_types in - List.fold_left get_interfaces_by_type [] types + if types <> [] then + List.fold_left get_interfaces_by_type [] types + else + get_interfaces_by_type [] "" let () = let res = get_interfaces in |