[Ur] datebox.urp - compiler errors: "unification failure"

[Stefan Scott Alexander]

Thanks Ziv, your suggestion worked!

I changed 6 occurrences of 'a' to 'aa' on lines 16, 23 and 24:

https://github.com/urweb/gui/blob/master/remotePager.ur

I also removed lines 2, 3, 4 here:

https://github.com/urweb/gui/blob/master/examples/datebox.urp

in order to be able to view the page here:

http://localhost:8080/DateboxMain/main

###
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150801/2aee1ceb/attachment.html>