prop.gd: Synonym -> SynonymAttr

digraphs · Jan 7, 2019 · 4443b58 · 4443b58
1 parent ef0169e
commit 4443b58
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/prop.gd b/gap/prop.gd
@@ -22,7 +22,7 @@ DeclareProperty("IsReflexiveDigraph", IsDigraph);
 DeclareProperty("IsStronglyConnectedDigraph", IsDigraph);
 DeclareProperty("IsSymmetricDigraph", IsDigraph);
 DeclareProperty("IsAntisymmetricDigraph", IsDigraph);
-DeclareSynonym("IsAntiSymmetricDigraph", IsAntisymmetricDigraph);
+DeclareSynonymAttr("IsAntiSymmetricDigraph", IsAntisymmetricDigraph);
 DeclareProperty("IsTournament", IsDigraph);
 DeclareProperty("IsTransitiveDigraph", IsDigraph);
 DeclareProperty("DigraphHasLoops", IsDigraph);