diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-03 07:57:40 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-03 07:57:40 +0000 |
| commit | 759ee4f926107eb2babf665261b3e9e034b8a2f1 (patch) | |
| tree | 625211e9d3e4762018a8658c140850416bcb282f /src/GF | |
| parent | 07b38706990dc23784928eb5455836316451c147 (diff) | |
fixed the over-expansion of record variants in PGF.Linearize
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions