diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-11-09 15:09:09 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-11-09 15:09:09 +0000 |
| commit | 6568ac4aea0407ede5ed7002d464a119bd5dd5cc (patch) | |
| tree | 4c6e86d71cd06fa47ef9378c16160cdffd0753c3 /src/JavaGUI2/de/uka/ilkd | |
| parent | ad96ff18224e08d5450170e87c43250f882674b2 (diff) | |
Fix pre token bug in JS, both in gf and gfc. Pre tokens are still treated like normal tokens, but at least the generated code should be correct now.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd')
0 files changed, 0 insertions, 0 deletions