]> matita.cs.unibo.it Git - helm.git/commit
Bug (found during code review) fixed (but not tested and bug never re-produced):
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jul 2009 21:23:19 +0000 (21:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jul 2009 21:23:19 +0000 (21:23 +0000)
commitbc7d32fd5c34cc2ac0edff13292662585e6ffa51
tree49373b9280f2553983ff426fef0ad2db3914f21b
parentf4f44aa85f6d8ad07c44ce5890bd447f04b9c8a2
Bug (found during code review) fixed (but not tested and bug never re-produced):
wrong context passed around.
helm/software/components/ng_cic_content/nTermCicContent.ml