Removed warning message if IO is not loaded

gap-packages · Jul 19, 2013 · 6c84cd1 · 6c84cd1
1 parent 9e6f708
commit 6c84cd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/helpers.gi b/gap/helpers.gi
@@ -48,7 +48,7 @@ end);
 
 UTIME@ := function()
     local v;
-    if not IsBound(IO_gettimeofday) then return 0.0_l; fi;
+    if not ISBOUND_GLOBAL("IO_gettimeofday") then return 0.0_l; fi;
     v := ValueGlobal("IO_gettimeofday")(); # avoid warning if IO is not loaded
     return v.tv_sec+1.e-6_l*v.tv_usec;
 end;