diff src/sqlite.sml @ 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 703c2c94afd5
children 969b90b1f2f9
line wrap: on
line diff
--- a/src/sqlite.sml	Tue Dec 21 18:01:23 2010 -0500
+++ b/src/sqlite.sml	Thu Dec 23 11:23:31 2010 -0500
@@ -597,7 +597,7 @@
                                                      string ")"]
                                       | Time => box [string "sqlite3_bind_text(stmt, ",
                                                      string (Int.toString (i + 1)),
-                                                     string ", uw_Basis_timeToStringf(ctx, ",
+                                                     string ", uw_Basis_timef(ctx, ",
                                                      string fmt,
                                                      string ", ",
                                                      arg,