| commit | 45c846dbf02fa8a7d17ae75b5d75c99c9cecb7ef | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Aug 23 19:01:37 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Aug 23 19:01:37 2010 +0000 |
| tree | 48a010d1b2d35d25c5cf0a530b14d7820eba7a5d | |
| parent | fd9845f856f6f99fb19ca7277990e43c3d4756b6 [diff] |
improve r735 so we can handle binary constructors, too.