On Tue, Jun 14, 2016 at 12:51 PM, Adam Chlipala <[email protected]> wrote: > Can anyone help figure out what is bothering recent C compilers about part > of the Ur/Web runtime-system code?
I’ve commented on the bug: https://github.com/urweb/urweb/issues/31#issuecomment-226007244 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
