Commit 63b3e06f75867fa0640021b28cdb71357f747812

Philipp Wiesemann 2017-06-03T23:00:15

Corrected names of header file guards.