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 /include | |
| parent | 17ecbd235ad9b7692dfc029329fb13103eb55d9c (diff) | |
Recursive record unification errors, for more detail
Diffstat (limited to 'include')
| -rw-r--r-- | include/urweb.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/urweb.h b/include/urweb.h index 13beb643..548e77fe 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -297,7 +297,7 @@ extern int uw_time_max, uw_supports_direct_status, uw_min_heap; failure_kind uw_runCallback(uw_context, void (*callback)(uw_context)); -uw_Basis_string uw_Basis_timeToStringf(uw_context, const char *fmt, uw_Basis_time); +uw_Basis_string uw_Basis_timef(uw_context, const char *fmt, uw_Basis_time); uw_Basis_time uw_Basis_stringToTimef(uw_context, const char *fmt, uw_Basis_string); uw_Basis_time uw_Basis_stringToTimef_error(uw_context, const char *fmt, uw_Basis_string); |