aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Graph
diff options
context:
space:
mode:
Diffstat (limited to 'src/Test/VeriFuzz/Graph')
-rw-r--r--src/Test/VeriFuzz/Graph/ASTGen.hs2
-rw-r--r--src/Test/VeriFuzz/Graph/CodeGen.hs2
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