]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50169f9) | patch
CSC: terrific bug fixed. Enrico commented the application of eta_fix to the body
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 May 2007 16:37:18 +0000 (16:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 May 2007 16:37:18 +0000 (16:37 +0000)
commit89c1b4594ba2f7d53c67c275e50437574f69acb0
tree140e9be2e1ce1a589aae76c4e918318782e1f805tree | snapshot
parent50169f9c6b58f49ddbc509060fa86db425e4773fcommit | diff
CSC: terrific bug fixed. Enrico commented the application of eta_fix to the body
of a constant, without replacing it with Unshare.unshare (that is done inside
eta_fix). To avoid the bug to happear again, I have renamed eta_fix in
eta_fix_and_unshare.
components/cic_acic/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.