From 0f2d29426b3f819c5c41701d260f0ea8f0218a1a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 11 Jan 2005 21:47:40 +0000 Subject: [PATCH] . original commit: e41cbcc00df8d9c0128e0c33eae82011e554dfde --- collects/mred/private/kernel.ss | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index aec80932..77d85bca 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -431,20 +431,6 @@ swap-buffers ok?) (define-class gl-config% object% #f - sizeof-bitfield - sizeof-enum - sizeof-clampd - sizeof-clampf - sizeof-sizei - sizeof-boolean - sizeof-double - sizeof-float - sizeof-uint - sizeof-int - sizeof-ushort - sizeof-short - sizeof-ubyte - sizeof-byte get-double-buffered set-double-buffered get-stereo