From c11e0c1e660bfaf098533890b769385d8fba5582 Mon Sep 17 00:00:00 2001 From: Adam Brouwers-Harries Date: Tue, 12 Dec 2023 21:46:11 +0000 Subject: [PATCH] Correctly add newline to end of test program --- tests/refc/ccompilerArgs/Main.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/refc/ccompilerArgs/Main.idr b/tests/refc/ccompilerArgs/Main.idr index fc3eff430..f3c476f23 100644 --- a/tests/refc/ccompilerArgs/Main.idr +++ b/tests/refc/ccompilerArgs/Main.idr @@ -12,4 +12,4 @@ fastfibsum : Int -> Int main : IO () main = do printLn $ show (add 50 23) - printLn $ show ([fastfibsum x | x <- [0..10]]) \ No newline at end of file + printLn $ show ([fastfibsum x | x <- [0..10]])