Use IS_CONSTRUCTOR instead of CONSTRUCTORS

CONSTRUCTORS has been removed from the GAP master branch.
semigroups · Jan 27, 2018 · 96e6a73 · 96e6a73
1 parent 16e9b41
commit 96e6a73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/tools/utils.gi b/gap/tools/utils.gi
@@ -441,7 +441,7 @@ SEMIGROUPS.ManSectionType := function(op)
     class := "Oper";
     if IS_IDENTICAL_OBJ(op, IS_OBJECT) then
       class := "Filt";
-    elif op in CONSTRUCTORS then
+    elif IS_CONSTRUCTOR(op) then
       class := "Constructor";
       # seem to never get one
     elif IsFilter(op) then