]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: types were check for conversion in the wrong context.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 16:49:25 +0000 (16:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 16:49:25 +0000 (16:49 +0000)
commitf2f9699ce6c656e62ae18148bce61f8bb945dc7a
treec4667bd6e3fb27c0f64187e8ad524a71171c6a54
parent8ff8cc51c76a444cc124c314155a33af51917e6d
Bug fixed: types were check for conversion in the wrong context.
helm/software/components/ng_kernel/nCicTypeChecker.ml