]> matita.cs.unibo.it Git - helm.git/commit
avoid collapsing node that does not need to be, i.e.:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jul 2006 15:02:52 +0000 (15:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jul 2006 15:02:52 +0000 (15:02 +0000)
commit55ae9c989557fbb879104962b0db50b19a9cfd2b
treedc2a39ea55cd580f4aae11bc4a76714d5411f056
parent7fcbe05896613b28b548db1785740b7cbad7ac1f
avoid collapsing node that does not need to be, i.e.:
- nodes with no outgoing edges
- nodes which have not been expanded before
components/metadata/metadataDeps.ml