Omit use of deprecated std::is_literal_type in a STATIC_ASSERT

moves-rwth / carl-storm

The Computer ARithmetic and Logic library for the Storm model checker

Other

4 stars 3 forks source link

Omit use of deprecated std::is_literal_type in a STATIC_ASSERT #16

Closed tquatmann closed 11 months ago

tquatmann commented 11 months ago

std::is_literal_type is removed in C++20. There does not seem to be an obvious replacement. I think it's fine to just omit theSTATIC_ASSERT but feel free to disagree :)

volkm commented 11 months ago

LGTM. I manually triggered the CI and it was also successful.