Remove current-file-time, not in use.

diff --git a/v7/src/runtime/dosprm.scm b/v7/src/runtime/dosprm.scm
index f479197e4930d173669ae14a5f49e2c6a349af9c..e52c51852098b1ec2918d4ec87164df2c630df99 100644 (file)
--- a/v7/src/runtime/dosprm.scm
+++ b/v7/src/runtime/dosprm.scm
@@ -1,8 +1,8 @@
 #| -*-Scheme-*-
 
-$Id: dosprm.scm,v 1.16 1992/11/03 22:42:11 jinx Exp $
+$Id: dosprm.scm,v 1.17 1993/01/12 19:01:03 gjr Exp $
 
-Copyright (c) 1992 Massachusetts Institute of Technology
+Copyright (c) 1992-1993 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -254,9 +254,6 @@ MIT in each case. |#
   (or (get-environment-variable "HOME")
       (dos/user-home-directory (dos/current-user-name))))
 
-(define dos/current-file-time
-  (ucode-primitive current-file-time 0))
-
 (define dos/file-time->string
   (ucode-primitive file-time->string 1))