1 files changed, 2 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index 6f878ff..66ac1e9 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -49,8 +49,8 @@ library
                      , DRBG
   default-extensions:  OverloadedStrings
 
-executable yosys
-  main-is:             app/Yosys.hs
+executable verifuzz-testsim
+  main-is:             app/Test.hs
   default-language:    Haskell2010
   build-depends:       base >= 4.7 && < 5
                      , verifuzz