tree 14475b3e90c8f6b7f01e255840bc0308ca133fd2
parent 3c78f92a511ce1ee567dede491235cbb3c2c4e3a
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1311004088 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1311004088 +0000

when working on otredyn I saw a situation where lack of constant caused NPE,
keeping the change just in case (no witness, currently).