]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: nodes were copied.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 29 Jul 2010 15:27:13 +0000 (15:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 29 Jul 2010 15:27:13 +0000 (15:27 +0000)
commitd96386684e06473c5fbce2707052cf1732831d5c
treee4923f007ed793cf6724a9b9e876d1a3f2f3f369
parent7c793c80721ff0b0a1d2898ba93721aa03aa4a98
Bug fixed: nodes were copied.
helm/software/components/disambiguation/disambiguate.ml