remove duplicate code

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
Steven Armstrong 2011-10-07 22:39:45 +02:00
commit d3e1276965