tree c2f8758f707fa2bc724bdf6084412e8d8d591757
parent eb9c6b6cfda6276088ab64cd3de72972a4ca1880
author Gael Guennebaud <g.gael@free.fr> 1300741182 +0100
committer Gael Guennebaud <g.gael@free.fr> 1300741182 +0100

fix 228 (ei_aligned_stack_delete does not exist anymore)