Don't try to read non-existent file

This should resolve #1022
semigroups · Jul 29, 2024 · 7c6fa1f · 7c6fa1f
1 parent 133d7f7
commit 7c6fa1f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/read.g b/read.g
@@ -11,7 +11,6 @@
 ReadPackage("semigroups", "gap/tools/display.gi");
 ReadPackage("semigroups", "gap/tools/io.gi");
 ReadPackage("semigroups", "gap/tools/utils.gi");
-ReadPackage("semigroups", "gap/tools/enums.gi");
 ReadPackage("semigroups", "gap/tools/iterators.gi");
 
 ReadPackage("semigroups", "gap/elements/star.gi");