Removed function for ValueGlobal

and made it a synonym for VALUE_GLOBAL
gap-system · Mar 3, 2018 · 7cae069 · 7cae069
1 parent e755b88
commit 7cae069
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/lib/global.gi b/lib/global.gi
@@ -74,14 +74,7 @@ end;
 ##  is currently bound
 ##
 
-InstallGlobalFunction( ValueGlobal, 
-        function (name)
-    local val;
-    CheckGlobalName( name );
-    val := VALUE_GLOBAL(name);
-    Info( InfoGlobal, 3, "ValueGlobal: access to ",name," returned ",val); 
-    return val;
-end);
+InstallGlobalFunction( ValueGlobal, VALUE_GLOBAL );
 
 
 #############################################################################