removed HOMALG_INITIALIZED

Author: mohamed-barakat

src/HomalgProject.jl

@@ -172,10 +172,6 @@ global HOMALG_VERSION_NUMBER = VERSION_NUMBER
 
 export HOMALG_VERSION_NUMBER
 
-global HOMALG_INITIALIZED = false
-
-export HOMALG_INITIALIZED
-
 function __init__()
 
     DownloadPackageFromHomalgProject( "homalg_project" )
@@ -218,8 +214,6 @@ function __init__()
         println("Type: ?HomalgProject for more information")
     end
 
-    global HOMALG_INITIALIZED = true
-    
 end
 
 end # module