tweaking modules parameters to debug issue of CI running out of memor…

…y...
agda · Oct 26, 2023 · 5c34283 · 5c34283
1 parent 1786fcd
commit 5c34283
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Cubical/Categories/NaturalTransformation/Properties.agda b/Cubical/Categories/NaturalTransformation/Properties.agda
@@ -111,6 +111,8 @@ module _ {C : Category ℓC ℓC'} {D : Category ℓD ℓD'} where
 -- Natural isomorphism is path when the target category is univalent.
 
 module _
+  {C : Category ℓC ℓC'}
+  {D : Category ℓD ℓD'}
   (isUnivD : isUnivalent D)
   {F G : Functor C D} where