From bfbfe94ac97fe8a562f54e6981b6e5a911683250 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 7 Feb 2019 09:12:53 -0800 Subject: [PATCH] chore(library/init/control/default): add `init.control.combinators` --- library/init/control/default.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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