diff --git a/3party/optional/optional.hpp b/3party/optional/optional.h similarity index 100% rename from 3party/optional/optional.hpp rename to 3party/optional/optional.h