diff options
Diffstat (limited to 'generics/protocols-tree.pd')
-rw-r--r-- | generics/protocols-tree.pd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generics/protocols-tree.pd b/generics/protocols-tree.pd index 193b622..f4efcc3 100644 --- a/generics/protocols-tree.pd +++ b/generics/protocols-tree.pd @@ -19,7 +19,7 @@ #X obj 486 355 tree \$0 distributive; #X obj 474 409 tree \$0 invertible; #X obj 512 115 tree \$0 trichotomy; -#X obj 385 220 tree \$0 transitive; +#X obj 380 220 tree \$0 transitive; #X obj 458 436 tree \$0 semigroup ?; #X obj 458 381 tree \$0 group ?; #X obj 622 184 tree \$0 antisymmetric2 ?; |