Mercurial > urweb
diff src/elab_env.sml @ 1811:9913c81bdbef
Fixed memory leak in dynClass
author | Vladimir Shabanov <vshabanoff@gmail.com> |
---|---|
date | Thu, 30 Aug 2012 17:00:18 +0400 |
parents | bb942416bf1c |
children | 1aa9629e3a4c |
author | Vladimir Shabanov <vshabanoff@gmail.com> |
---|---|
date | Thu, 30 Aug 2012 17:00:18 +0400 |
parents | bb942416bf1c |
children | 1aa9629e3a4c |