]> matita.cs.unibo.it Git - helm.git/commit
prerr_endline => debug_print
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Mar 2008 17:52:07 +0000 (17:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Mar 2008 17:52:07 +0000 (17:52 +0000)
commit4dd62101129727d1533ea077122c4ef9bb20721a
tree82a432c200cff7db5e68499758105b16c743cc6a
parent00f768086a4aa9373a16a30f5b3898095b5ca14d
prerr_endline => debug_print
helm/software/components/metadata/metadataConstraints.ml