From 7c6fa1fa60e835ab26ebd000aa889da74aaa1824 Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Mon, 29 Jul 2024 11:25:09 +0100
Subject: [PATCH] Don't try to read non-existent file

This should resolve #1022
---
 read.g | 1 -
 1 file changed, 1 deletion(-)

diff --git a/read.g b/read.g
index f89150a42..d189d3f46 100644
--- 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");