fix linting

semigroups · Aug 26, 2024 · 79d5d48 · 79d5d48
1 parent 3df71a1
commit 79d5d48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -406,7 +406,7 @@ BannerString := Concatenation(
   "------\n"),
 
 AvailabilityTest := function()
-  if not IsKernelExtensionAvailable("Semigroups") 
+  if not IsKernelExtensionAvailable("Semigroups") then
     LogPackageLoadingMessage(PACKAGE_WARNING,
                              "the kernel module is not compiled, ",
                              "the package cannot be loaded.");