Permalink
Browse files

Avoid duplicate export warning.

  • Loading branch information...
1 parent 31e7544 commit 74473cbf70a87eac063b212626d7488421960864 @yav committed Apr 26, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Data/Integer/Presburger/Notation.hs
View
2 src/Data/Integer/Presburger/Notation.hs
@@ -1,5 +1,5 @@
module Data.Integer.Presburger.Notation
- ( check, Formula
+ ( check
, module Data.Integer.Presburger.Notation
) where

0 comments on commit 74473cb

Please sign in to comment.