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