diff --git a/lib/grppcaut.gi b/lib/grppcaut.gi
index 5f514d632c..90ab1e4254 100644
--- a/lib/grppcaut.gi
+++ b/lib/grppcaut.gi
@@ -7,31 +7,6 @@
 #Y  Copyright (C) 2002 The GAP Group
 ##
 
-#############################################################################
-##
-#F CheckAuto( auto )
-##
-CheckAuto := function( auto )
-    local new,mapi;
-    mapi:=MappingGeneratorsImages(auto);
-    new := GroupGeneralMappingByImagesNC( Source(auto), Range(auto),
-           mapi[1], mapi[2] );
-    if Source( auto ) <> Range( auto ) then 
-        Print("source and range differ \n");
-        return false;
-    fi;
-    if not IsGroupHomomorphism( new ) then
-        Print("no group hom \n");
-        return false;
-    fi;
-    if not IsBijective( new ) then
-        Print("no bijection \n");
-        return false;
-    fi;
-    return true;
-end;
-
-
 #############################################################################
 ##
 #F InducedActionFactor( mats, fac, low )