From cbde7ca566ba569164b821537891ebe32ef376ed Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Mon, 22 Jan 2024 19:09:13 +0000
Subject: [PATCH] kernel: add missing template specs

---
 src/to_cpp.hpp | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

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<HPCombi::Transf16> : public to_cpp<Transf<0, uint8_t>> {};
+
+  template <>
+  struct to_cpp<HPCombi::Transf16&> : to_cpp<HPCombi::Transf16> {};
+
+  template <>
+  struct to_cpp<HPCombi::Transf16 const&> : to_cpp<HPCombi::Transf16> {};
+#endif
+
   ////////////////////////////////////////////////////////////////////////
   // Partial perms
   ////////////////////////////////////////////////////////////////////////
@@ -598,6 +609,17 @@ namespace gapbind14 {
     }
   };
 
+#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
+  template <>
+  struct to_cpp<HPCombi::PPerm16> : public to_cpp<PPerm<0, uint8_t>> {};
+
+  template <>
+  struct to_cpp<HPCombi::PPerm16&> : to_cpp<HPCombi::PPerm16> {};
+
+  template <>
+  struct to_cpp<HPCombi::PPerm16 const&> : to_cpp<HPCombi::PPerm16> {};
+#endif
+
   ////////////////////////////////////////////////////////////////////////
   // Bipartition
   ////////////////////////////////////////////////////////////////////////