From 6d095fe0d3c636345d3c744cdb30366edfa9bd00 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Thu, 19 Oct 2017 03:11:29 +0200
Subject: [PATCH] Remove stray comment

---
 gap/quasigroups.gi | 2 --
 1 file changed, 2 deletions(-)

diff --git a/gap/quasigroups.gi b/gap/quasigroups.gi
index 400f297..04cbae9 100644
--- a/gap/quasigroups.gi
+++ b/gap/quasigroups.gi
@@ -260,8 +260,6 @@ end);
 ##
 ##  For each element e of the magma <M>, binds the identifier named String(e)
 ##  to e. 
-##  collection <C>. For quasigroups, loops, and possibly related structures
-##  this changes the prefix with which the elements of that family are printed.
 
 InstallMethod( BindElmNames, "for a magma",
     [ IsMagma ],