]> matita.cs.unibo.it Git - helm.git/commit
Better error message.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 29 Oct 2009 16:53:34 +0000 (16:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 29 Oct 2009 16:53:34 +0000 (16:53 +0000)
commit0bcc03be833e8f177850e6b9785713d7975ee8bd
tree73eb03cfe83b67113565d61d9ab84dcce981756e
parent0db291bf647ae5d8aa54c58691ab170b46e7666a
Better error message.
helm/software/components/ng_refiner/nCicRefiner.ml