diff --git a/lib/oprt.gd b/lib/oprt.gd index 98e5dc933c..a03e2dfae3 100644 --- a/lib/oprt.gd +++ b/lib/oprt.gd @@ -377,7 +377,7 @@ DeclareAttribute( "CanonicalRepresentativeDeterminatorOfExternalSet", ## ## ## -DeclareAttribute( "CanEasilyDetermineCanonicalRepresentativeExternalSet", +DeclareProperty( "CanEasilyDetermineCanonicalRepresentativeExternalSet", IsExternalSet ); InstallTrueMethod(CanEasilyDetermineCanonicalRepresentativeExternalSet,