really strange error

This commit is contained in:
Glen Whitney 2017-10-25 16:47:09 +02:00
parent 1662da4e75
commit 60e1b76d6f

View File

@ -411,7 +411,8 @@ InstallOtherMethod(DirectProductOp,
# Simple checks
if n = 0 then
Error("Usage: Cannot take DirectProduct of zero items.");
elif n = 1 then
fi;
if n = 1 then
return list[1];
fi;
# See if we can handle all objects