1 files changed, 0 insertions, 15 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c
index e4ba753435..7930a1fdc1 100644
--- a/cpukit/score/src/wkspace.c
+++ b/cpukit/score/src/wkspace.c
@@ -13,7 +13,6 @@
 
 /*
  * Copyright (C) 2012, 2020 embedded brains GmbH (http://www.embedded-brains.de)
- * Copyright (C) 1989, 2008 On-Line Applications Research Corporation (OAR)
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -126,17 +125,3 @@ void _Workspace_Handler_initialization(
 
   _Heap_Protection_set_delayed_free_fraction( &_Workspace_Area, 1 );
 }
-
-void *_Workspace_Allocate( size_t size )
-{
-  return _Heap_Allocate( &_Workspace_Area, size );
-}
-
-void _Workspace_Free( void *block )
-{
-  bool ok;
-
-  ok = _Heap_Free( &_Workspace_Area, block );
-  _Assert( ok );
-  (void) ok;
-}