From e05b2a6debf41f3456be8c3c4586822f1031df30 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Tue, 17 Oct 2017 21:56:00 +0200
Subject: [PATCH] Properties take just a single filter, I guess.

---
 gap/quasigroups.gd | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd
index e9683c1..acede97 100644
--- a/gap/quasigroups.gd
+++ b/gap/quasigroups.gd
@@ -80,12 +80,12 @@ DeclareCategory( "IsLoop", IsQuasigroup and IsMagmaWithOne and
 ##  TESTING MULTIPLICATION TABLES
 ##  -------------------------------------------------------------------------
 
-DeclareProperty( "IsLeftQuasigroupTable", [ IsMatrix ]);
-DeclareProperty( "IsRightQuasigroupTable", [ IsMatrix ]);
+DeclareProperty( "IsLeftQuasigroupTable", IsMatrix );
+DeclareProperty( "IsRightQuasigroupTable", IsMatrix );
 DeclareSynonym( "IsQuasigroupTable", 
                 IsLeftQuasigroupTable and IsRightQuasigroupTable );
 DeclareSynonym( "IsQuasigroupCayleyTable", IsQuasigroupTable );
-DeclareProperty( "IsLoopTable", [ IsMatrix ] );
+DeclareProperty( "IsLoopTable", IsMatrix );
 DeclareSynonym( "IsLoopCayleyTable", IsLoopTable );
 DeclareGlobalFunction("CanonicalCayleyTableOfLeftQuasigroupTable");
 DeclareOperation( "CanonicalCayleyTable", [ IsMatrix ] );