diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 20:33:59 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 20:33:59 +0100 |
commit | d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094 (patch) | |
tree | 9aee938477a884daa20148b56fc1feef52d4f2c4 /src/VeriFuzz/Circuit/Internal.hs | |
parent | bb697f8bc7b593e5aabb43505f686e6503b7726f (diff) | |
download | verismith-d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094.tar.gz verismith-d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094.zip |
Format files
Diffstat (limited to 'src/VeriFuzz/Circuit/Internal.hs')
-rw-r--r-- | src/VeriFuzz/Circuit/Internal.hs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/VeriFuzz/Circuit/Internal.hs b/src/VeriFuzz/Circuit/Internal.hs index 3a7346f..5220f4d 100644 --- a/src/VeriFuzz/Circuit/Internal.hs +++ b/src/VeriFuzz/Circuit/Internal.hs @@ -19,9 +19,11 @@ module VeriFuzz.Circuit.Internal ) where -import Data.Graph.Inductive (Graph, Node) -import qualified Data.Graph.Inductive as G -import qualified Data.Text as T +import Data.Graph.Inductive ( Graph + , Node + ) +import qualified Data.Graph.Inductive as G +import qualified Data.Text as T -- | Convert an integer into a label. -- |