Add missing case to restriction of environment

JonasHoefer · Jun 19, 2024 · 48bd0d3 · 48bd0d3
1 parent b4ff020
commit 48bd0d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/PosTT/Eval.hs b/src/PosTT/Eval.hs
@@ -716,6 +716,7 @@ instance Restrictable EnvEntry where
     EntryFib v    -> EntryFib (v @ f)
     EntryDef t ty -> EntryDef t ty
     EntryInt r    -> EntryInt (r @ f)
+    EntryLock     -> EntryLock
 
 instance Restrictable a => Restrictable [a] where
   type Alt [a] = [Alt a]