From 14030a8ad5b3202b7b282cf635574478cc0ff4eb Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 19 Jul 2018 12:14:25 +0200 Subject: [PATCH] Remove unused open Signed-off-by: Rudi Grinberg --- src/super_context.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/super_context.ml b/src/super_context.ml index f0992784..7dc19eff 100644 --- a/src/super_context.ml +++ b/src/super_context.ml @@ -1,5 +1,4 @@ open Import -(* open Dune_env.Stanza *) open Jbuild module A = Action