diff --git a/src/Cat.agda b/src/Cat.agda
index a2d73e8..4c3aad1 100644
--- a/src/Cat.agda
+++ b/src/Cat.agda
@@ -20,5 +20,5 @@ open import Cat.Categories.Cat
 open import Cat.Categories.Rel
 open import Cat.Categories.Free
 open import Cat.Categories.Fun
-open import Cat.Categories.Cube
+-- open import Cat.Categories.Cube
 open import Cat.Categories.CwF