]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2c95f3) | patch
Bug fixed: in case of (t ...) where t has flexible type, a failure obtained
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 17:04:46 +0000 (17:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 17:04:46 +0000 (17:04 +0000)
commit34c2ba63c8eb5fccfd9a1fb8ac1df5895c8b58b3
tree76669bc208c69d415e9fed3ef7187a71f6169bcctree | snapshot
parenta2c95f3f040a25f69f9ded4971872a29ab8dfae8commit | diff
Bug fixed: in case of (t ...) where t has flexible type, a failure obtained
without extending ... (since this could cause divergence) should be considered
an uncertain (since extension may be necessary).
helm/software/components/ng_refiner/nCicRefiner.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.