From b0113e08c99050654a3b819719fdaa7580714797 Mon Sep 17 00:00:00 2001
From: Jens Nolte <git@queezle.net>
Date: Thu, 10 Feb 2022 20:04:01 +0100
Subject: [PATCH] Remove duplicate export

---
 src/Quasar/ResourceManager.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Quasar/ResourceManager.hs b/src/Quasar/ResourceManager.hs
index 1f879c7..6a04c4c 100644
--- a/src/Quasar/ResourceManager.hs
+++ b/src/Quasar/ResourceManager.hs
@@ -22,7 +22,6 @@ module Quasar.ResourceManager (
   runInResourceManagerSTM,
   enterResourceManager,
   enterResourceManagerSTM,
-  lockResourceManager,
   newUniqueRM,
 
   -- ** Top level initialization
-- 
GitLab