diff --git a/read.g b/read.g index 76e33bcc..fb85036f 100644 --- 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: