diff --git a/src/MiniJuvix/Syntax/Concrete/Scoped/InfoTable.hs b/src/MiniJuvix/Syntax/Concrete/Scoped/InfoTable.hs
index 344b6acba..3b22ad1ad 100644
--- a/src/MiniJuvix/Syntax/Concrete/Scoped/InfoTable.hs
+++ b/src/MiniJuvix/Syntax/Concrete/Scoped/InfoTable.hs
@@ -35,7 +35,8 @@ emptyInfoTable = InfoTable {
   _infoConstructors = mempty,
   _infoAxioms = mempty,
   _infoInductives = mempty,
-  _infoFunctions = mempty
+  _infoFunctions = mempty,
+  _infoFunctionClauses = mempty
   }
 
 makeLenses ''InfoTable