[ refactor ] Add missing lens for envPrintMetasBare field

jespercockx · Dec 15, 2021 · 27b34ec · 27b34ec
1 parent 9b99f42
commit 27b34ec
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/full/Agda/TypeChecking/Monad/Base.hs b/src/full/Agda/TypeChecking/Monad/Base.hs
@@ -3112,6 +3112,9 @@ eCompareBlocked f e = f (envCompareBlocked e) <&> \ x -> e { envCompareBlocked =
 ePrintDomainFreePi :: Lens' Bool TCEnv
 ePrintDomainFreePi f e = f (envPrintDomainFreePi e) <&> \ x -> e { envPrintDomainFreePi = x }
 
+ePrintMetasBare :: Lens' Bool TCEnv
+ePrintMetasBare f e = f (envPrintMetasBare e) <&> \ x -> e { envPrintMetasBare = x }
+
 eInsideDotPattern :: Lens' Bool TCEnv
 eInsideDotPattern f e = f (envInsideDotPattern e) <&> \ x -> e { envInsideDotPattern = x }