diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
index 083f3d7438..e4d08ee180 100644
--- a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
+++ b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -1783,14 +1783,17 @@ checkLocalModule ::
   Module 'Parsed 'ModuleLocal ->
   Sem r (Module 'Scoped 'ModuleLocal)
 checkLocalModule md@Module {..} = do
-  tab1 <- ask @InfoTable
-  tab2 <- getInfoTable
+  -- tab1 <- ask @InfoTable
+  -- tab2 <- getInfoTable
   (tab, (moduleExportInfo, moduleBody', moduleDoc')) <-
-    withLocalScope $ runReader (tab1 <> tab2) $ runInfoTableBuilder mempty $ do
-      inheritScope
-      (e, b) <- checkModuleBody _moduleBody
-      doc' <- mapM checkJudoc _moduleDoc
-      return (e, b, doc')
+    withLocalScope
+      -- . runReader (tab1 <> tab2)
+      . runInfoTableBuilder mempty
+      $ do
+        inheritScope
+        (e, b) <- checkModuleBody _moduleBody
+        doc' <- mapM checkJudoc _moduleDoc
+        return (e, b, doc')
   _modulePath' <- reserveLocalModuleSymbol _modulePath
   localModules <- getLocalModules moduleExportInfo
   let mid = _modulePath' ^. S.nameId