diff options
| author | krasimir <krasimir@chalmers.se> | 2009-11-07 15:18:25 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-11-07 15:18:25 +0000 |
| commit | 7c513609f03c5719e0a15c61b7d44abc8d6b56d6 (patch) | |
| tree | 0ec34ce080dbe305e5ac253e0d87073b74c5ac40 /examples/tutorial/syntax | |
| parent | ea49556395d854401344a622ea91c8a948dfc8b8 (diff) | |
bugfix: if a concrete module has operations then they also should be optimized
Diffstat (limited to 'examples/tutorial/syntax')
0 files changed, 0 insertions, 0 deletions