diff options
Diffstat (limited to 'app')
-rw-r--r-- | app/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Main.hs b/app/Main.hs index 7160b5d..39f74aa 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -1,6 +1,6 @@ module Main where -import VeriFuzz +import VeriSmith main :: IO () main = defaultMain |