Eliminate GET-PROPERTY which is now undefined.

diff --git a/v7/src/edwin/edwin.pkg b/v7/src/edwin/edwin.pkg
index 8ded1e055aa7b9044eb4c9fbed83a3e551e01b49..26362ff12284d5231b446890fdaacf0ed4c069e9 100644 (file)
--- a/v7/src/edwin/edwin.pkg
+++ b/v7/src/edwin/edwin.pkg
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: edwin.pkg,v 1.130 1993/09/09 20:59:33 cph Exp $
+$Id: edwin.pkg,v 1.131 1993/09/09 21:33:54 cph Exp $
 
 Copyright (c) 1989-1993 Massachusetts Institute of Technology
 
@@ -839,7 +839,6 @@ MIT in each case. |#
   (export (edwin)
          add-text-properties
          add-text-property
-         get-property
          get-property-at
          group-extract-properties
          group-reinsert-properties!