From 618eff1bae9488c76bbeff7a3edf9c051219fc17 Mon Sep 17 00:00:00 2001 From: Rijnard van Tonder Date: Tue, 2 Oct 2018 01:21:42 -0400 Subject: [PATCH] simplify module syntax --- opium_kernel/opium_kernel.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/opium_kernel/opium_kernel.ml b/opium_kernel/opium_kernel.ml index 9a6884e9..87219dd0 100644 --- a/opium_kernel/opium_kernel.ml +++ b/opium_kernel/opium_kernel.ml @@ -8,9 +8,6 @@ module Export = struct end include Export -module Std = struct - include Export - -end +module Std = Export module Hmap = Hmap0