| commit | 00e39e743ee8078c8d363574f69ae2de2a022ed3 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu May 12 22:37:43 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu May 12 22:37:43 2011 +0000 |
| tree | d4fdabd1308c216f0a1b2d8a26614eca5ddd7529 | |
| parent | d3238f60f3bb6c35bc9c218fa10e7a867154a3a9 [diff] |
fix the build and document the underlying assumption