# HG changeset patch # User Adam Chlipala # Date 1295815775 18000 # Node ID a8606c1cfe87402fde1ddc2a7b73f40710440a87 # Parent e65082d76d2621184ba7b82b807cde2e2242bab0 Fix monoization of sql_relop (grandfathered into release!) diff -r e65082d76d26 -r a8606c1cfe87 src/monoize.sml --- a/src/monoize.sml Sun Jan 23 15:34:06 2011 -0500 +++ b/src/monoize.sml Sun Jan 23 15:49:35 2011 -0500 @@ -2558,7 +2558,9 @@ (L.ECApp ( (L.ECApp ( (L.ECApp ( - (L.EFfi ("Basis", "sql_relop"), _), + (L.ECApp ( + (L.EFfi ("Basis", "sql_relop"), _), + _), _), _), _), _), _), _), _),