Merge pull request #76 from gap-packages/mh/ReadPackage

Don't try to read non-existing file
gap-packages · Jul 3, 2024 · 5424717 · 5424717
2 parents 5c3a20a + 1ba17f5
commit 5424717
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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" );