From 110785feeb787a23c9e2845299c3c031cce20540 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 22 Oct 2017 18:31:05 +0200 Subject: [PATCH] remove stray line --- gap/structure.gi | 1 - 1 file changed, 1 deletion(-) diff --git a/gap/structure.gi b/gap/structure.gi index 3029424..85e4171 100644 --- 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 );