]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a01a276) | 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)
commit07c5372510a5abecd788aa0b500e5deaa548c9d4
tree43120a27a8b8209f92c127a9cc27f15c0c494deftree | snapshot
parenta01a27656d4c2753c07f215ff8a5fa99b18043a3commit | 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.
helm/software/components/cic_acic/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.