| commit | 1fe53e5606538bd14a44294c25d951d7ef9b7d87 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Aug 26 16:48:42 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Aug 26 16:48:42 2010 +0000 |
| tree | 7dc192c6ea39947e95b642f58efd60b383dba26d | |
| parent | 88c7c25f996fb26f72b8983587dc127c31aa92e3 [diff] |
fix a logic-error introduced by the previous commit which caused a build failure.