diff options
Diffstat (limited to 'src/VeriFuzz/Circuit.hs')
-rw-r--r-- | src/VeriFuzz/Circuit.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/VeriFuzz/Circuit.hs b/src/VeriFuzz/Circuit.hs index 7958f6a..1891ff9 100644 --- a/src/VeriFuzz/Circuit.hs +++ b/src/VeriFuzz/Circuit.hs @@ -12,7 +12,9 @@ Definition of the circuit graph. module VeriFuzz.Circuit where -import Data.Graph.Inductive (Gr, LNode) +import Data.Graph.Inductive ( Gr + , LNode + ) import System.Random import Test.QuickCheck |