diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-01-23 15:49:35 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-01-23 15:49:35 -0500 |
commit | 4919847f21ac332a13a70093cd8827f51ed404b4 (patch) | |
tree | d54d673fa6dde9dddd7cb7456063dd289943e05b | |
parent | 730a954ed7faced9fae31193b8c6725bbfc0fe07 (diff) |
Fix monoization of sql_relop (grandfathered into release!)
-rw-r--r-- | src/monoize.sml | 4 |
1 files changed, 3 insertions, 1 deletions
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"), _), + _), _), _), _), _), _), _), _), |