1 files changed, 6 insertions, 9 deletions
diff --git a/src/Main.hs b/src/Main.hs
index 5eebc30..513b8cc 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -1,24 +1,21 @@
 module Main where
 
-import Data.Bits
-import Test.QuickCheck hiding ((.&.))
 import Data.GraphViz
-import Data.Graph.Inductive.Example (clr479, dag4)
-import Data.Graph.Inductive.Graph
+import Data.Graph.Inductive
 import Data.Graph.Inductive.PatriciaTree
 import Data.GraphViz.Attributes.Complete
-import Data.Text.Lazy
 import Data.GraphViz.Commands
-import System.Random.MWC
+import Data.Text.Lazy
+import Data.Text.IO as T
 
-import Test.VeriFuzz.Graph.Random
-import Test.VeriFuzz.Types
+import Test.VeriFuzz
 
 instance Labellable Gate where
   toLabelValue gate = StrLabel . pack $ show gate
 
-main :: IO FilePath
+main :: IO ()
 --main = sample (arbitrary :: Gen (Circuit Input))
 main = do
   gr <- (randomDAG 100 :: IO (Gr Gate ()))
   runGraphviz (graphToDot quickParams $ emap (\_ -> "") gr) Png "output.png"
+  T.putStrLn $ generate gr