Identifiers with double underscores are reserved, and using them is
undefined behaviour. Similarly, and for reference, identifiers using a
single underscore followed by an uppercase letters are also reserved.
See more at https://en.cppreference.com/w/cpp/language/identifiers
This change moves all the include guards from the format
GECODE_KERNEL_HH to GECODE_KERNEL_HH.
Avoid double underscorde in include guards
Identifiers with double underscores are reserved, and using them is undefined behaviour. Similarly, and for reference, identifiers using a single underscore followed by an uppercase letters are also reserved. See more at https://en.cppreference.com/w/cpp/language/identifiers
This change moves all the include guards from the format GECODE_KERNEL_HH to GECODE_KERNEL_HH.
Fixes issue #63