diff --git a/library/init/control/default.lean b/library/init/control/default.lean
index 1a3fdeb711..fc6b0c2504 100644
--- a/library/init/control/default.lean
+++ b/library/init/control/default.lean
@@ -7,4 +7,4 @@ prelude
 import init.control.applicative init.control.functor init.control.alternative
 import init.control.monad init.control.lift
 import init.control.state init.control.id init.control.except init.control.reader
-import init.control.option
+import init.control.option init.control.combinators