This commit is contained in:
Glen Whitney 2017-10-22 18:29:29 +02:00
parent 42a5e826d9
commit 0b6539f3e9

View File

@ -8,7 +8,7 @@ DeclareCategory("IsConjugatorObject",
DeclareCategoryCollections("IsConjugatorObject");
DeclareAttribute("ConjugatorFamily", IsFamily);
DeclareAttribure("ConjugatorType", IsFamily);
DeclareAttribute("ConjugatorType", IsFamily);
DeclareSynonym("IsDefaultConjugatorObject",
IsConjugatorObject and IsPositionalObjectOneSlotRep);