diff options
| author |  rustanleino <unknown> | 2009-11-19 18:51:13 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-19 18:51:13 +0000 |
| commit | 8a3d35545386c74864db0662faa5c1d68cd71f01 (patch) | |
| tree | f8a033f8b7cac985a5b7f25ee6e7ddee728e679d /Test/test13 | |
| parent | eaf052fa512f87a16d16cbb6b4c78e7fbaaf85b8 (diff) | |
Fixed bug in inlining (procedure *definitions* had been traversed by StandardVisitor while visiting commands).
This solves Issue #6266.
Diffstat (limited to 'Test/test13')
0 files changed, 0 insertions, 0 deletions