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 /src/sqlite.sml | |
parent | 17ecbd235ad9b7692dfc029329fb13103eb55d9c (diff) |
Recursive record unification errors, for more detail
Diffstat (limited to 'src/sqlite.sml')
-rw-r--r-- | src/sqlite.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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, |