Adding a newline at the end of Type.hs-boot

agda · Dec 23, 2023 · d6d210f · d6d210f
1 parent d1325e7
commit d6d210f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Agda2Hs/Compile/Type.hs-boot b/src/Agda2Hs/Compile/Type.hs-boot
@@ -6,4 +6,5 @@ module Agda2Hs.Compile.Type where
     import Agda.Syntax.Internal ( Term )
     import Agda2Hs.Compile.Types
 
-    compileType :: Term -> C (Hs.Type ())
+    compileType :: Term -> C (Hs.Type ())
+