Eliminate obsolete record-type-dispatch-tag.

diff --git a/src/runtime/record.scm b/src/runtime/record.scm
index c98dfc5c34d00a34e890ecf4dc4b2bce4ac60ab3..1f3069fe288786dc31facee9f7a1d613b05e7cab 100644 (file)
--- a/src/runtime/record.scm
+++ b/src/runtime/record.scm
@@ -157,10 +157,6 @@ USA.
         (dispatch-metatag-constructor %record-metatag 'make-record-type))
    unspecific))
 
-;; Can be deleted after 9.3 release:
-(define (record-type-dispatch-tag record-type)
-  record-type)
-
 (define-integrable (%record-type-field-names record-type)
   (dispatch-tag-extra-ref record-type 0))
 

diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg
index 0b7f6fa647c97f20fa58096c946e14111f1686b8..41a58d5a1f62fb2e5eceb39acc501afce766d443 100644 (file)
--- a/src/runtime/runtime.pkg
+++ b/src/runtime/runtime.pkg
@@ -3834,7 +3834,6 @@ USA.
          record-predicate
          record-type-default-value-by-index
          record-type-descriptor
-         record-type-dispatch-tag      ;can be deleted after 9.3 release
          record-type-field-names
          record-type-field-specs
          record-type-name