changeset 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 e65082d76d26
children d0786ff9bb22
files src/monoize.sml
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
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"), _),
+                 _), _),
                 _), _),
                _), _),
               _), _),