From 447b60afccc89ef18d8f92a260dd1fcdf735898e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 Aug 2008 08:32:18 -0400
Subject: Laconic -> Ur

---
 tests/curry3.lac | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 tests/curry3.lac

(limited to 'tests/curry3.lac')

diff --git a/tests/curry3.lac b/tests/curry3.lac
deleted file mode 100644
index fa2804cf..00000000
--- a/tests/curry3.lac
+++ /dev/null
@@ -1 +0,0 @@
-val main = fn x : int => fn y : int => fn z : int => x
-- 
cgit v1.2.3