added missing "private"

conal · Jan 16, 2024 · c82d934 · c82d934
1 parent 3a0fc5f
commit c82d934
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Felix/Construct/Comma/Raw.agda b/src/Felix/Construct/Comma/Raw.agda
@@ -29,7 +29,7 @@ open import Felix.Construct.Comma.Type _⇨₀_ _⇨₁_ _⇨₂_
 
 open Obj
 
-variable a b c d : Obj
+private variable a b c d : Obj
 
 module comma-cat where