diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-24 17:26:21 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-24 17:26:21 +0000 |
| commit | 61456fd9ca6189a689ac0911f0e7260ce86e76d0 (patch) | |
| tree | 2ff2a4aa1fd3f07cfb95bd8b595b4b3af1584f67 /src/JavaGUI2/de/uka/ilkd | |
| parent | 2885cfc5ac2c3e58754d1938c144c5b3b8cd95f6 (diff) | |
Better debugging output when SRG generation crashes because of a missing category.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd')
0 files changed, 0 insertions, 0 deletions