From 7cae0691137faf6f6b7462a0d450bac7d49895d7 Mon Sep 17 00:00:00 2001
From: Sebastian Gutsche <gutsche@momo.math.rwth-aachen.de>
Date: Sat, 3 Mar 2018 16:15:59 +0100
Subject: [PATCH] Removed function for ValueGlobal

and made it a synonym for VALUE_GLOBAL
---
 lib/global.gi | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/lib/global.gi b/lib/global.gi
index 4f33c3876e..bd1635f8a1 100644
--- 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 );
 
 
 #############################################################################