| commit | a299e96f9a38c7dbe56f65818ffa4de5b9de99e9 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Dec 27 10:06:07 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Dec 27 10:06:07 2010 +0000 |
| tree | 64978a6969827a4c7cc98266f611203f16a7a65b | |
| parent | fa7a07eef160d348c0ca0be2b962abcf8ef0f4a9 [diff] |
fixing test4125_resultInMethodSpec3 for otredyn: - avoid using out-off-scope type variables in casts - suppress unchecked warnings regarding these locations