Change Semigroups -> semigroups

semigroups · Aug 26, 2024 · 30c9992 · 30c9992
1 parent c463374
commit 30c9992
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/init.g b/init.g
@@ -13,7 +13,7 @@ if not IsBound(ORBC) then
   BindGlobal("HTValue_TreeHash_C", fail);
 fi;
 
-if LoadKernelExtension("Semigroups") = false then
+if LoadKernelExtension("semigroups") = false then
     Error("failed to load Semigroups kernel extension");
 fi;