diff options
Diffstat (limited to 'src/Test/VeriFuzz/Graph')
-rw-r--r-- | src/Test/VeriFuzz/Graph/ASTGen.hs | 2 | ||||
-rw-r--r-- | src/Test/VeriFuzz/Graph/CodeGen.hs | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/Test/VeriFuzz/Graph/ASTGen.hs b/src/Test/VeriFuzz/Graph/ASTGen.hs index b5fb944..f1ac88a 100644 --- a/src/Test/VeriFuzz/Graph/ASTGen.hs +++ b/src/Test/VeriFuzz/Graph/ASTGen.hs @@ -10,8 +10,6 @@ Portability : POSIX Generates the AST from the graph directly. -} -{-# LANGUAGE OverloadedStrings #-} - module Test.VeriFuzz.Graph.ASTGen where import Data.Graph.Inductive (LNode, Node) diff --git a/src/Test/VeriFuzz/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs index 8d20a71..bfceb4c 100644 --- a/src/Test/VeriFuzz/Graph/CodeGen.hs +++ b/src/Test/VeriFuzz/Graph/CodeGen.hs @@ -10,8 +10,6 @@ Portability : POSIX Define the code generation directly from the random DAG. -} -{-# LANGUAGE OverloadedStrings #-} - module Test.VeriFuzz.Graph.CodeGen ( generate ) where |