diff src/c/urweb.c @ 1359:e525ad571e15

Recursive record unification errors, for more detail
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 11:23:31 -0500
parents 32c8a3509369
children 02fc16faecf3
line wrap: on
line diff
--- a/src/c/urweb.c	Tue Dec 21 18:01:23 2010 -0500
+++ b/src/c/urweb.c	Thu Dec 23 11:23:31 2010 -0500
@@ -2582,7 +2582,7 @@
     return "<Invalid time>";
 }
 
-uw_Basis_string uw_Basis_timeToStringf(uw_context ctx, const char *fmt, uw_Basis_time t) {
+uw_Basis_string uw_Basis_timef(uw_context ctx, const char *fmt, uw_Basis_time t) {
   size_t len;
   char *r;
   struct tm stm;