fix duplicate header guards#146

Nibanovic wants to merge 1 commit intocactusdynamics:mastercactusdynamics/cactus-rt:masterfrom

PosidoniaTechnology:fix-duplicate-header-guardsPosidoniaTechnology/cactus-rt:fix-duplicate-header-guardsCopy head branch name to clipboard