aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Vivado.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-03-16 13:12:30 +0000
committerYann Herklotz <git@yannherklotz.com>2020-03-16 13:12:30 +0000
commit472aedf5daeb1cb0d095a63eacf259b798f56586 (patch)
tree8e7e32b3ff2d762b90d8b460926adb83408a6263 /src/Verismith/Tool/Vivado.hs
parent010d7343133ebe53a472b9d26fdeb509db31d4c9 (diff)
downloadverismith-472aedf5daeb1cb0d095a63eacf259b798f56586.tar.gz
verismith-472aedf5daeb1cb0d095a63eacf259b798f56586.zip
WIP changes to the AST types
Diffstat (limited to 'src/Verismith/Tool/Vivado.hs')
-rw-r--r--src/Verismith/Tool/Vivado.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Verismith/Tool/Vivado.hs b/src/Verismith/Tool/Vivado.hs
index 272311e..e3d2538 100644
--- a/src/Verismith/Tool/Vivado.hs
+++ b/src/Verismith/Tool/Vivado.hs
@@ -49,7 +49,7 @@ instance NFData Vivado where
defaultVivado :: Vivado
defaultVivado = Vivado Nothing "vivado" "syn_vivado.v"
-runSynthVivado :: Vivado -> SourceInfo -> ResultSh ()
+runSynthVivado :: Vivado -> (SourceInfo ann) -> ResultSh ()
runSynthVivado sim (SourceInfo top src) = do
dir <- liftSh pwd
liftSh $ do