Remove current-file-time, replaced by get-time.

diff --git a/v7/src/runtime/unxprm.scm b/v7/src/runtime/unxprm.scm
index f946eb18c1371f6ce6167d55d7fb4093131763fe..5cc6a45ea5428b0189349881560dbb35554ffa4c 100644 (file)
--- a/v7/src/runtime/unxprm.scm
+++ b/v7/src/runtime/unxprm.scm
@@ -1,8 +1,8 @@
 #| -*-Scheme-*-
 
-$Id: unxprm.scm,v 1.22 1992/09/18 16:35:32 jinx Exp $
+$Id: unxprm.scm,v 1.23 1993/01/12 19:01:28 gjr Exp $
 
-Copyright (c) 1988-1992 Massachusetts Institute of Technology
+Copyright (c) 1988-1993 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -221,9 +221,6 @@ MIT in each case. |#
 (define-integrable unix/current-gid
   (ucode-primitive current-gid 0))
 
-(define-integrable unix/current-file-time
-  (ucode-primitive current-file-time 0))
-
 (define-integrable unix/file-time->string
   (ucode-primitive file-time->string 1))