From a6cd4c131b3b9d98c8581be9659e14155ed64bdc Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 1 Nov 2005 14:39:12 +0000 Subject: variants compilation --- examples/TWA.cf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples') diff --git a/examples/TWA.cf b/examples/TWA.cf index 32ae7b73f..bb23fbd01 100644 --- a/examples/TWA.cf +++ b/examples/TWA.cf @@ -49,5 +49,5 @@ I. Pro ::= "I" ; --# prob 0.60 -- [0.15, 0.40,0.40, 0.40, 0.05, 0.30, 0.35, 0.40, 0.05, 0.75, 0.50] -- -- J&M have different figures, but they seem to be wrong. For --- instance, the products have 12 terms although the trees have only +-- instance, their products have 12 terms although the trees have only -- 11 constructors. -- cgit v1.2.3