diff options
| author | aarne <unknown> | 2005-11-01 14:39:12 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-11-01 14:39:12 +0000 |
| commit | a6cd4c131b3b9d98c8581be9659e14155ed64bdc (patch) | |
| tree | 387667e7de71ede205f021376e2e92727ba07729 /examples/TWA.cf | |
| parent | 27c65e985d1a0c23978239bd52342c766964b98b (diff) | |
variants compilation
Diffstat (limited to 'examples/TWA.cf')
| -rw-r--r-- | examples/TWA.cf | 2 |
1 files changed, 1 insertions, 1 deletions
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. |