From f362668549c8db401474c7be1e15cd9e156d0e91 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Jun 2008 09:53:52 -0400
Subject: Corify cfold

---
 src/monoize.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index 310abc6a..f8a0d96e 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -71,6 +71,7 @@ fun monoType env (all as (c, loc)) =
 
           | L.CRecord _ => poly ()
           | L.CConcat _ => poly ()
+          | L.CFold _ => poly ()
     end
 
 val dummyExp = (L'.EPrim (Prim.Int 0), E.dummySpan)
-- 
cgit v1.2.3