From e2dbd83014f4dcc529a57326f754b2758724064f Mon Sep 17 00:00:00 2001
From: Masahiro Sakai <masahiro.sakai@gmail.com>
Date: Sat, 18 Dec 2021 14:15:38 +0900
Subject: [PATCH] fix duplicated exports

cudd_unique_slots and cudd_cache_slots are already exported by 'module Cudd.Common'.
---
 Cudd/Imperative.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Cudd/Imperative.hs b/Cudd/Imperative.hs
index 291f2e2..a8ed3ea 100644
--- a/Cudd/Imperative.hs
+++ b/Cudd/Imperative.hs
@@ -80,8 +80,6 @@ module Cudd.Imperative (
     setMaxCacheHard,
     readCacheSlots,
     readCacheUsedSlots,
-    cudd_unique_slots,
-    cudd_cache_slots,
     andLimit,
     readTree,
     newVarAtLevel,