Index: src/tests/boundedBuffer.c
===================================================================
--- src/tests/boundedBuffer.c	(revision d6655bd1cd0af7898ebad99f7f8d5859036c03aa)
+++ src/tests/boundedBuffer.c	(revision 5e6502b998d52e88f6a2759f8b5a1ebe698e1156)
@@ -67,10 +67,4 @@
 }
 
-forall(dtype T | sized(T) | { void ^?{}(T & mutex); })
-void delete( T * th ) {
-    ^(*th){};
-    free( th );
-}
-
 int main() {
     Buffer buffer;