protocol: polish imports
[majurity.git] / hjugement-protocol / src / Voting / Protocol.hs
index 52634932cb4c03a88326680014c2b253e8944147..e7dc8b8fb4143886c86cc5175f0a6f46eaf472f8 100644 (file)
@@ -1,11 +1,13 @@
 module Voting.Protocol
- ( module Voting.Protocol.Arithmetic
+ ( module Voting.Protocol.FFC
  , module Voting.Protocol.Credential
  , module Voting.Protocol.Election
- , module Voting.Protocol.Trustees
+ , module Voting.Protocol.Tally
+ , module Voting.Protocol.Trustee
  ) where
 
-import Voting.Protocol.Arithmetic
+import Voting.Protocol.FFC
 import Voting.Protocol.Credential
 import Voting.Protocol.Election
-import Voting.Protocol.Trustees
+import Voting.Protocol.Tally
+import Voting.Protocol.Trustee