remove namespace leda from header file
(it shouldn't be there anyway)