diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
index a5d357d9c8..51a5a2ff75 100644
--- a/src/analyses/memLeak.ml
+++ b/src/analyses/memLeak.ml
@@ -96,7 +96,7 @@ struct
             | Queries.VD.Struct s ->
               let struct_fields = ValueDomain.Structs.keys s in
               let ptr_struct_fields = List.filter (fun f -> isPointerType f.ftype) struct_fields in
-              if List.length ptr_struct_fields = 0 then None else Some (s, ptr_struct_fields)
+              if ptr_struct_fields = [] then None else Some (s, ptr_struct_fields)
             | _ -> None
           end
         | _ -> None