# # patch "components.ml" # from [25dcc1e09168bb8d3689766373fa7689d2a7a8f3] # to [fdf1303aaef59ea1ff82b4e6c58df0ae346f406d] # # patch "database.ml" # from [899ce4750b6de811d9fbb3dd89e9c3f8703ee53f] # to [472e2cfda6c6411367ea02530bc44962a0f58577] # --- components.ml +++ components.ml @@ -61,7 +61,9 @@ let (_, res) = NodeMap.fold (fun _ node acc -> - explore get_children f acc (Child (node, Nil))) + if List.for_all (function (_, PARENT) -> false | (_, CHILD) -> true) node.family + then explore get_children f acc (Child (node, Nil)) + else acc) subgraph (IdSet.empty, init) in res --- database.ml +++ database.ml @@ -166,7 +166,10 @@ end in (* reconnect disconnected components *) - let agraph = Components.reconnect (fetch_children db) agraph in + let agraph = + if query = ALL + then agraph + else Components.reconnect (fetch_children db) agraph in agraph