1 files changed, 0 insertions, 19 deletions
diff --git a/includes/rts/LibdwPool.h b/includes/rts/LibdwPool.h
deleted file mode 100644
index 76ff41c8c7..0000000000
--- a/includes/rts/LibdwPool.h
+++ /dev/null
@@ -1,19 +0,0 @@
-/* ---------------------------------------------------------------------------
- *
- * (c) The GHC Team, 2015-2016
- *
- * A pool of libdw sessions
- *
- * --------------------------------------------------------------------------*/
-
-#pragma once
-
-/* Claim a session from the pool */
-LibdwSession *libdwPoolTake(void);
-
-/* Return a session to the pool */
-void libdwPoolRelease(LibdwSession *sess);
-
-/* Free any sessions in the pool forcing a reload of any loaded debug
- * information */
-void libdwPoolClear(void);