# HG changeset patch
# User jwe
# Date 879841628 0
# Node ID 04119d7a7d8458de0e78cf9e09e6a362a069a2cb
# Parent  f9806795b6d51d5a565055721950285a28733285
[project @ 1997-11-18 08:27:08 by jwe]

diff --git a/scripts/miscellaneous/tic.m b/scripts/miscellaneous/tic.m
--- a/scripts/miscellaneous/tic.m
+++ b/scripts/miscellaneous/tic.m
@@ -31,8 +31,8 @@
     warning ("tic: ignoring extra arguments");
   endif
 
-  global _time_tic_called;
+  global __tic_toc_timestamp__;
 
-  _time_tic_called = clock ();
+  __tic_toc_timestamp__ = clock ();
 
 endfunction
diff --git a/scripts/miscellaneous/toc.m b/scripts/miscellaneous/toc.m
--- a/scripts/miscellaneous/toc.m
+++ b/scripts/miscellaneous/toc.m
@@ -32,10 +32,10 @@
     warning ("toc: ignoring extra arguments");
   endif
 
-  global _time_tic_called;
+  global __tic_toc_timestamp__;
 
-  if (exist ("_time_tic_called"))
-    secs = etime (clock (), _time_tic_called);
+  if (exist ("__tic_toc_timestamp__"))
+    secs = etime (clock (), __tic_toc_timestamp__);
   else
     warning ("toc called before timer set");
     secs = [];