diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 13:23:46 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 13:23:46 -0400 |
commit | 73b8b2cf8afd5cc8969b3bd4d2c238d9c453e8fd (patch) | |
tree | c082faa41b174478cadc17f84b65635593ca97af /tests/disjoint.lac | |
parent | a0b2a6145f200885f5dd7b365d2ffad51851795e (diff) |
Push KUnit and CUnit through the phases
Diffstat (limited to 'tests/disjoint.lac')
-rw-r--r-- | tests/disjoint.lac | 2 |
1 files changed, 2 insertions, 0 deletions
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 |