Commit 01ec3399 authored by Jan Kiene's avatar Jan Kiene
Browse files

fix misplaced code whcih caused segfault

parent 08217b00