From 1ba17f59434593b9bb86bf6e83e166a4642800f2 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 3 Jul 2024 15:45:22 +0200
Subject: [PATCH] Don't try to read non-existing file

---
 read.g | 1 -
 1 file changed, 1 deletion(-)

diff --git a/read.g b/read.g
index 2bcefd1..efc1860 100644
--- a/read.g
+++ b/read.g
@@ -17,7 +17,6 @@
 #R  Read the installation files.
 ##
 #############################################################################
-ReadPackage( "numericalsgps", "gap/infolevelnumsgps" );
 ReadPackage( "numericalsgps", "gap/preliminaries.gi" );
 ReadPackage( "numericalsgps", "gap/numsgp-def.gi" );
 ReadPackage( "numericalsgps", "gap/elements.gi" );