Mercurial > urweb
diff src/elab_err.sml @ 1322:80bff6449f41
Fix a bug in C list unurlification
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 21 Nov 2010 15:43:24 -0500 |
parents | 3a845f2ce9e9 |
children | e525ad571e15 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 21 Nov 2010 15:43:24 -0500 |
parents | 3a845f2ce9e9 |
children | e525ad571e15 |