remove stray line

2017-10-22 18:31:05 +02:00 · 2017-10-22 18:31:05 +02:00 · 110785feeb
parent 0b6539f3e9
commit 110785feeb
1 changed files with 0 additions and 1 deletions
--- a/gap/structure.gi
+++ b/gap/structure.gi
@ -397,7 +397,6 @@ InstallMethod(ViewString, "for opposite objects",
 InstallMethod(\=, "for two opposite objects",
  IsIdenticalObj,
  [IsDefaultOppositeObject, IsDefaultOppositeObject],
-    [IsDefaultConjugatorObject, IsDefaultConjugatorObject],
  function(l,r) return l![1] = r![1]; end
 );