Don't read non-existent gap/obsolete.gi (#332)

gap-packages · Jul 4, 2024 · 83212be · 83212be
1 parent 572fcf9
commit 83212be
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/read.g b/read.g
@@ -19,7 +19,6 @@ ReadPackage("recog","gap/base/methods.gi");
 ReadPackage("recog","gap/base/methsel.gi");
 ReadPackage("recog","gap/base/recognition.gi");
 ReadPackage("recog","gap/base/kernel.gi");
-ReadPackage("recog","gap/obsolete.gi");
 
 # The following contain generic functionality for different types of groups: