diff include/urweb.h @ 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/include/urweb.h	Tue Dec 21 18:01:23 2010 -0500
+++ b/include/urweb.h	Thu Dec 23 11:23:31 2010 -0500
@@ -297,7 +297,7 @@
 
 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);