Added missing #pragma once

I forgot about it in the previous commit.