From b9c97949d103bdec742a9551c2792a3dcd1b148e Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 14 Aug 2018 10:27:11 +0100 Subject: [PATCH] Restore the open No_io in lib_rules.ml Signed-off-by: Jeremie Dimino --- src/lib_rules.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib_rules.ml b/src/lib_rules.ml index a1de06a0..1c52e6e0 100644 --- a/src/lib_rules.ml +++ b/src/lib_rules.ml @@ -1,6 +1,7 @@ open Import open Build.O open Dune_file +open! No_io module SC = Super_context