]> matita.cs.unibo.it Git - helm.git/commit
Assert false do not allow to debug...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 15:45:49 +0000 (15:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 15:45:49 +0000 (15:45 +0000)
commit651c5c55cba9ddbe592badc86b18502b83ecf580
tree3a1e951a08b1783f88fdf90d81f92e7fded23f6f
parent23b7119d915c6ff6ba3c89267bd91f7312afe619
Assert false do not allow to debug...
helm/software/components/grafite/grafiteAstPp.ml