diff src/monoize.sml @ 1416:a8606c1cfe87

Fix monoization of sql_relop (grandfathered into release!)
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Jan 2011 15:49:35 -0500
parents 5f4fee8a4dcd
children 3dab4696d116
line wrap: on
line diff
--- 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"), _),
+                 _), _),
                 _), _),
                _), _),
               _), _),