# # # patch "database.ml" # from [53eba58747f8fa175f28249ae3b4d1676a699bfe] # to [06fe1d1d5d2da0880adc0da73ff75a86b114b946] # ============================================================ --- database.ml 53eba58747f8fa175f28249ae3b4d1676a699bfe +++ database.ml 06fe1d1d5d2da0880adc0da73ff75a86b114b946 @@ -204,11 +204,12 @@ let process_branching_edge g s = let parent = Sqlite3.column_text s 0 in let child = Sqlite3.column_text s 1 in let e = parent, child in - assert (EdgeMap.mem e g.ancestry) ; - if EdgeMap.find e g.ancestry = SAME_BRANCH - then add_edge g parent child BRANCHING - else g - + try + if EdgeMap.find e g.ancestry = SAME_BRANCH + then add_edge g parent child BRANCHING + else g + with Not_found -> + g let fetch_agraph_with_view db base64 (query, query_limit) =