diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-23 11:23:31 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-23 11:23:31 -0500 |
| commit | 867a11af44827af8974250e6dbb5e96b6268b44f (patch) | |
| tree | fcdcc73abd3ef7b68fe8a02e5b11901e0fec5c92 /src/c | |
| parent | 17ecbd235ad9b7692dfc029329fb13103eb55d9c (diff) | |
Recursive record unification errors, for more detail
Diffstat (limited to 'src/c')
| -rw-r--r-- | src/c/urweb.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index d3b8c770..a09978cd 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -2582,7 +2582,7 @@ uw_Basis_string uw_Basis_timeToString(uw_context ctx, uw_Basis_time t) { 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; |