From deeab26120507ee945ab8ce95fe313fcd23b7b13 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 24 Dec 2010 17:18:28 -0500 Subject: Fix Postgres date serialization --- src/postgres.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/postgres.sml') diff --git a/src/postgres.sml b/src/postgres.sml index 0acd1bf3..7209f34a 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -654,7 +654,7 @@ fun p_ensql t e = | String => e | Char => box [string "uw_Basis_attrifyChar(ctx, ", e, string ")"] | Bool => box [string "(", e, string " ? \"TRUE\" : \"FALSE\")"] - | Time => box [string "uw_Basis_attrifyTime(ctx, ", e, string ")"] + | Time => box [string "uw_Basis_ensqlTime(ctx, ", e, string ")"] | Blob => box [e, string ".data"] | Channel => box [string "uw_Basis_attrifyChannel(ctx, ", e, string ")"] | Client => box [string "uw_Basis_attrifyClient(ctx, ", e, string ")"] -- cgit v1.2.3