diff --git a/src/Agda2Hs/Compile/Type.hs-boot b/src/Agda2Hs/Compile/Type.hs-boot
index 2116a037..28edffef 100644
--- 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 ())
\ No newline at end of file
+    compileType :: Term -> C (Hs.Type ())
+