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 39f74aa..af5731c 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -1,6 +1,6 @@ module Main where -import VeriSmith +import Verismith main :: IO () main = defaultMain |