+#if defined(__GNUC__) && defined(__s390__) && (__GNUC__ == 2) // Workaround GCC-bug (see below)
+ struct cl_sylow2gen_property : public cl_property {
+ SUBCLASS_cl_property();
+ public:
+ cl_I h_rep;
+ // Constructor.
+ cl_sylow2gen_property (const cl_symbol& k, const cl_MI& h) : cl_property (k), h_rep (h.rep) {}
+ };
+#endif
+