From 867a11af44827af8974250e6dbb5e96b6268b44f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 23 Dec 2010 11:23:31 -0500
Subject: Recursive record unification errors, for more detail

---
 src/sqlite.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sqlite.sml')

diff --git a/src/sqlite.sml b/src/sqlite.sml
index e668f53a..efa6eb12 100644
--- a/src/sqlite.sml
+++ b/src/sqlite.sml
@@ -597,7 +597,7 @@ fun p_inputs loc =
                                                      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,
-- 
cgit v1.2.3