From 73b8b2cf8afd5cc8969b3bd4d2c238d9c453e8fd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 1 Jul 2008 13:23:46 -0400
Subject: Push KUnit and CUnit through the phases

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

(limited to 'tests/disjoint.lac')

diff --git a/tests/disjoint.lac b/tests/disjoint.lac
index 28b14423..26278014 100644
--- a/tests/disjoint.lac
+++ b/tests/disjoint.lac
@@ -31,3 +31,5 @@ val vt6 = v2 [#A] [[B = float, C = string]] {A = 8, B = 8.0, C = "8"}
 val vtX = v2 [#A] [[B = float, B = string]] {A = 8, B = 8.0, B = "8"}
 val vtX = v2 [#A] [[A = float, B = string]] {A = 8, A = 8.0, B = "8"}
 *)
+
+val main = vt6
-- 
cgit v1.2.3