tree d4fdabd1308c216f0a1b2d8a26614eca5ddd7529
parent d3238f60f3bb6c35bc9c218fa10e7a867154a3a9
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1305239863 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1305239863 +0000

fix the build and document the underlying assumption