Fix whitespace

agda · Sep 8, 2024 · 6fa2fa6 · 6fa2fa6
1 parent f72ba2d
commit 6fa2fa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cubical/Relation/Binary/Order/Poset/Subset.agda b/Cubical/Relation/Binary/Order/Poset/Subset.agda
@@ -22,7 +22,7 @@ open import Cubical.Relation.Binary.Order.Poset.Properties
 private
   variable
     ℓ ℓ' ℓ'' ℓ''' ℓ₀ ℓ₁ : Level
-    
+
 module _
   (P : Poset ℓ ℓ')
   where