Get rid of binf (which maps to bin on the pc).

diff --git a/v7/src/runtime/infutl.scm b/v7/src/runtime/infutl.scm
index 0ac82d1304ce4d226128a85610624d0627131c71..85d2e127437a74c0e6b0101eb4c6b337ad1ca404 100644 (file)
--- a/v7/src/runtime/infutl.scm
+++ b/v7/src/runtime/infutl.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/infutl.scm,v 1.36 1992/05/26 23:23:42 mhwu Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/infutl.scm,v 1.37 1992/05/27 04:03:35 jinx Exp $
 
 Copyright (c) 1988-91 Massachusetts Institute of Technology
 
@@ -95,8 +95,7 @@ MIT in each case. |#
     (if (file-exists? pathname)
        (fasload-loader (->namestring pathname))
        (find-alternate-file-type pathname
-                                 `(("binf" . ,fasload-loader)
-                                   ("inf" . ,fasload-loader)
+                                 `(("inf" . ,fasload-loader)
                                    ("bif" . ,fasload-loader)
                                    ("bci" . ,compressed-loader))))))
 

diff --git a/v8/src/runtime/infutl.scm b/v8/src/runtime/infutl.scm
index da7eb3044d4c3d481c6e14366fab66ae022409c9..9848857fe308378f340b7ef249c019e17a3f80e0 100644 (file)
--- a/v8/src/runtime/infutl.scm
+++ b/v8/src/runtime/infutl.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/runtime/infutl.scm,v 1.36 1992/05/26 23:23:42 mhwu Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/runtime/infutl.scm,v 1.37 1992/05/27 04:03:35 jinx Exp $
 
 Copyright (c) 1988-91 Massachusetts Institute of Technology
 
@@ -95,8 +95,7 @@ MIT in each case. |#
     (if (file-exists? pathname)
        (fasload-loader (->namestring pathname))
        (find-alternate-file-type pathname
-                                 `(("binf" . ,fasload-loader)
-                                   ("inf" . ,fasload-loader)
+                                 `(("inf" . ,fasload-loader)
                                    ("bif" . ,fasload-loader)
                                    ("bci" . ,compressed-loader))))))