From 1146334645493c41b71a7fe744764298ef5ff9f3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 23 Jun 2004 21:03:08 +0000 Subject: [PATCH] . original commit: e292efb113527f001ded4ebf6183b00f0297e10b --- collects/mzlib/class.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mzlib/class.ss b/collects/mzlib/class.ss index 6e8ba0b..0888458 100644 --- a/collects/mzlib/class.ss +++ b/collects/mzlib/class.ss @@ -16,9 +16,11 @@ private* public* pubment* override* overment* augride* augment* + public-final* override-final* augment-final* define/private define/public define/pubment define/override define/overment define/augride define/augment + define/public-final define/override-final define/augment-final define-local-member-name generic make-generic send-generic is-a? subclass? implementation? interface-extension?