From 1d4b2683a02155a474d79436247d8a1d293237ae Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Jun 2008 10:02:34 -0400
Subject: Cjrize cfold

---
 tests/cfold.lac | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tests/cfold.lac')

diff --git a/tests/cfold.lac b/tests/cfold.lac
index 5eda74e9..03f4b695 100644
--- a/tests/cfold.lac
+++ b/tests/cfold.lac
@@ -8,3 +8,5 @@ val redCurry : redCurry = fn x : int => fn y : string => {}
 
 con yellowCurry = currier [A = string, B = int, C = float]
 val yellowCurry : yellowCurry = fn x => fn y => fn z => {}
+
+val main = yellowCurry
-- 
cgit v1.2.3