HACK

semigroups · Mar 6, 2023 · 2132745 · 2132745
1 parent 315647f
commit 2132745
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/init.g b/init.g
@@ -16,12 +16,7 @@ fi;
 # the kernel module makes use of the c functions HTAdd_TreeHash_C and
 # HTValue_TreeHash_C and so we should only use the part of the kernel module
 # using these functions if Orb is compiled.
-_SEMIGROUPS_SO := Filename(DirectoriesPackagePrograms("semigroups"),
-                           "semigroups.so");
-if _SEMIGROUPS_SO <> fail then
-  LoadDynamicModule(_SEMIGROUPS_SO);
-fi;
-Unbind(_SEMIGROUPS_SO);
+LoadKernelExtension("semigroups", "semigroups");
 
 if not IsBound(UserHomeExpand) then
   BindGlobal("UserHomeExpand", USER_HOME_EXPAND);