From bfc130b86ff9b14a7ed2bb878bf947d3e756cb60 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 23 Jan 2011 15:49:35 -0500
Subject: Fix monoization of sql_relop (grandfathered into release!)

---
 src/monoize.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/monoize.sml b/src/monoize.sml
index 25594e1f..de518c81 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2558,7 +2558,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
              (L.ECApp (
               (L.ECApp (
                (L.ECApp (
-                (L.EFfi ("Basis", "sql_relop"), _),
+                (L.ECApp (
+                 (L.EFfi ("Basis", "sql_relop"), _),
+                 _), _),
                 _), _),
                _), _),
               _), _),
-- 
cgit v1.2.3