From 867a11af44827af8974250e6dbb5e96b6268b44f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 23 Dec 2010 11:23:31 -0500 Subject: Recursive record unification errors, for more detail --- include/urweb.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') 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); -- cgit v1.2.3