diff src/mysql.sml @ 2226:e10881cd92da

Merge.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:26:06 -0400
parents 661b531f55bd
children d2a98983f502
line wrap: on
line diff
--- a/src/mysql.sml	Fri Mar 27 11:19:15 2015 -0400
+++ b/src/mysql.sml	Fri Mar 27 11:26:06 2015 -0400
@@ -446,7 +446,7 @@
                       newline,
                       newline,
 
-                      p_list_sepi newline (fn i => fn (s, n) =>
+                      p_list_sepi newline (fn i => fn (s, _) =>
                                                       let
                                                           fun uhoh this s args =
                                                               box [p_list_sepi (box [])