Export WITH-TIMINGS.

diff --git a/v7/src/runtime/runtime.pkg b/v7/src/runtime/runtime.pkg
index 18b2be23f2faebe827a2348d62da84d07ffa1461..7c53ff4a5bd7d2511f9f2dffa4f111427334ecdd 100644 (file)
--- a/v7/src/runtime/runtime.pkg
+++ b/v7/src/runtime/runtime.pkg
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: runtime.pkg,v 14.260 1995/06/20 05:59:57 cph Exp $
+$Id: runtime.pkg,v 14.261 1995/08/08 15:30:04 adams Exp $
 
 Copyright (c) 1988-95 Massachusetts Institute of Technology
 
@@ -2902,7 +2902,8 @@ MIT in each case. |#
          process-time-clock
          real-time-clock
          runtime
-         system-clock)
+         system-clock
+         with-timings)
   (export (runtime gc-statistics)
          increment-non-runtime!)
   (initialization (initialize-package!)))

diff --git a/v8/src/runtime/runtime.pkg b/v8/src/runtime/runtime.pkg
index b7432e2f98c68a266a5f16cceb47da28dfca1ea1..52494dd8ff02cc356725e876ae60766fb3559910 100644 (file)
--- a/v8/src/runtime/runtime.pkg
+++ b/v8/src/runtime/runtime.pkg
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: runtime.pkg,v 14.262 1995/07/28 17:44:25 adams Exp $
+$Id: runtime.pkg,v 14.263 1995/08/08 15:30:29 adams Exp $
 
 Copyright (c) 1988-95 Massachusetts Institute of Technology
 
@@ -2901,7 +2901,8 @@ MIT in each case. |#
          process-time-clock
          real-time-clock
          runtime
-         system-clock)
+         system-clock
+         with-timings)
   (export (runtime gc-statistics)
          increment-non-runtime!)
   (initialization (initialize-package!)))