--- lib/happrime.gd.orig	2019-02-08 14:08:05.000000000 -0700
+++ lib/happrime.gd	2019-06-11 09:35:55.477079849 -0600
@@ -49,8 +49,4 @@
 #####################################################################
 DeclareInfoClass("InfoHAPprime");
 
-# Check that this has not been already include by HAP
-# (it shouldn't be, but earlier versions of HAP included a copy)
-if not IsBoundGlobal("MakeHAPprimeDoc") then
-  DeclareGlobalFunction("MakeHAPprimeDoc");
-fi;
+DeclareGlobalFunction("MakeHAPprimeDoc");
--- lib/happrime.gi.orig	2019-02-08 14:08:05.000000000 -0700
+++ lib/happrime.gi	2019-06-11 09:36:22.877590812 -0600
@@ -26,9 +26,6 @@
 ## 
 #############################################################################
 
-# Check that this has not been already include by HAP
-# (it shouldn't be, but earlier versions of HAP included a copy)
-if not IsBoundGlobal("MakeHAPprimeDoc") then
 #####################################################################
 ##  <#GAPDoc Label="MakeHAPprimeDoc_manMisc">
 ##  <ManSection>
@@ -223,8 +220,6 @@ InstallGlobalFunction(MakeHAPprimeDoc,
 
   end);
 
-fi;
-
 
 ## To do for a new release:
 ##  - update .Version, .Date and .ArchiveURL in PackageInfo.g