add missing newline in Main.hs

lemastero · Dec 14, 2023 · 8cf6802 · 8cf6802
1 parent 37d587a
commit 8cf6802
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/Main.hs b/app/Main.hs
@@ -3,4 +3,4 @@ module Main where
 import Agda.Compiler.Rust.Backend ( runRustBackend )
 
 main :: IO ()
-main = runRustBackend
+main = runRustBackend