diff --git a/src/compiler/GF/Compile.hs b/src/compiler/GF/Compile.hs
index a52167450..f5cbde7b7 100644
--- a/src/compiler/GF/Compile.hs
+++ b/src/compiler/GF/Compile.hs
@@ -209,7 +209,7 @@ compileSourceModule opts env@(k,gr,_) mb_gfFile mo@(i,mi) = do
       warnOut opts warnings
       intermOut opts DumpRename (ppModule Internal mo2)
 
-      (mo3,warnings) <- putpp "  type checking" $ ioeErr $ runCheck (checkModule mos mo2)
+      (mo3,warnings) <- putpp "  type checking" $ ioeErr $ runCheck (checkModule opts mos mo2)
       warnOut opts warnings
       intermOut opts DumpTypeCheck (ppModule Internal mo3)