diff --git a/src/to_cpp.hpp b/src/to_cpp.hpp index 0bc9461c9..c0de290bd 100644 --- a/src/to_cpp.hpp +++ b/src/to_cpp.hpp @@ -492,6 +492,17 @@ namespace gapbind14 { } }; +#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED + template <> + struct to_cpp : public to_cpp> {}; + + template <> + struct to_cpp : to_cpp {}; + + template <> + struct to_cpp : to_cpp {}; +#endif + //////////////////////////////////////////////////////////////////////// // Partial perms //////////////////////////////////////////////////////////////////////// @@ -598,6 +609,17 @@ namespace gapbind14 { } }; +#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED + template <> + struct to_cpp : public to_cpp> {}; + + template <> + struct to_cpp : to_cpp {}; + + template <> + struct to_cpp : to_cpp {}; +#endif + //////////////////////////////////////////////////////////////////////// // Bipartition ////////////////////////////////////////////////////////////////////////