diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-06-05 11:26:48 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-06-05 11:26:48 +0000 |
| commit | f5fd3aa603bf736e47a6fdc6d9bf719ecef9d628 (patch) | |
| tree | 08ebb1d003156b7ee38d6619c7d0cfa7749b7c17 /src-3.0/GF | |
| parent | 1068fbc7cfb5f5369bbc6aa24640ae12833a7b44 (diff) | |
in initState report the error strictly. This allows to catch it easily
Diffstat (limited to 'src-3.0/GF')
0 files changed, 0 insertions, 0 deletions