diff --git a/src/Felix/Construct/Comma/Raw.agda b/src/Felix/Construct/Comma/Raw.agda
index 4f41a44..faa61b9 100644
--- 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