Fix compilation errors in falsesharing.dora (#228)
Fix compilation errors in falsesharing.dora (#228)

(still asserts at runtime)
dinfuehr/dora,dinfuehr/dora,dinfuehr/dora,dinfuehr/dora,dinfuehr/dora,dinfuehr/dora