Skip to content

fix duplicated exports#16

Open
msakai wants to merge 1 commit intoadamwalker:masterfrom
msakai:fix-duplicate-exports
Open

fix duplicated exports#16
msakai wants to merge 1 commit intoadamwalker:masterfrom
msakai:fix-duplicate-exports

Conversation

@msakai
Copy link

@msakai msakai commented Dec 18, 2021

This fixes the following warnings:

Cudd/Imperative.hs:109:5: warning: [-Wduplicate-exports]
    ‘cudd_unique_slots’ is exported by ‘module Cudd.Common’ and ‘cudd_unique_slots’
    |
109 |     module Cudd.Common
    |     ^^^^^^^^^^^^^^^^^^

Cudd/Imperative.hs:109:5: warning: [-Wduplicate-exports]
    ‘cudd_cache_slots’ is exported by ‘module Cudd.Common’ and ‘cudd_cache_slots’
    |
109 |     module Cudd.Common
    |     ^^^^^^^^^^^^^^^^^^

cudd_unique_slots and cudd_cache_slots are already exported by 'module Cudd.Common'.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant