From 30c999250151f15168735732bb19872b999e1ced Mon Sep 17 00:00:00 2001 From: Joseph Edwards Date: Mon, 26 Aug 2024 12:30:51 +0100 Subject: [PATCH] Change Semigroups -> semigroups --- init.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/init.g b/init.g index 6986349fc..1c01899ef 100644 --- 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;