Mercurial > urweb
diff src/elab_ops.sml @ 1330:452b14d88a10
fix small memory leaks
author | Marc Weber <marco-oweber@gmx.de> |
---|---|
date | Sun, 05 Dec 2010 18:47:54 +0100 |
parents | c7b9a33c26c8 |
children | 20f898c29525 |
author | Marc Weber <marco-oweber@gmx.de> |
---|---|
date | Sun, 05 Dec 2010 18:47:54 +0100 |
parents | c7b9a33c26c8 |
children | 20f898c29525 |