# # # patch "monotone.ml" # from [0382cdbf55843fdd36f008a37b5236565289f9d0] # to [e1b9ed8c02efd09b06573d7b10fbe2af61ced66c] # ============================================================ --- monotone.ml 0382cdbf55843fdd36f008a37b5236565289f9d0 +++ monotone.ml e1b9ed8c02efd09b06573d7b10fbe2af61ced66c @@ -221,7 +221,7 @@ let ensure_node agraph id kind family = let ensure_node agraph id kind family = try let n = NodeMap.find id agraph.nodes in - n.kind <- kind ; + if n.kind < kind then n.kind <- kind ; n.family <- family @ n.family ; agraph with Not_found ->