Mercurial > urweb
comparison src/elab_env.sml @ 1659:8de2ea0a0701
Change linking argument order, based on reported problems in Ubuntu 11.10
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 05 Jan 2012 19:23:34 -0500 |
| parents | 6c00d8af6239 |
| children | fca4a6d05ac1 |
comparison
equal
deleted
inserted
replaced
| 1658:de0a34e28bfa | 1659:8de2ea0a0701 |
|---|