From 4a317e57c1768355916e7b9530386b88b296a0e7 Mon Sep 17 00:00:00 2001
From: JPR <jprodi04@gmail.com>
Date: Tue, 27 Feb 2018 21:15:01 +0100
Subject: [PATCH] Correction containers.ml file

---
 src/core/containers.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/containers.ml b/src/core/containers.ml
index 6db033eb..7a1a1574 100644
--- a/src/core/containers.ml
+++ b/src/core/containers.ml
@@ -27,6 +27,7 @@ module Hashtbl = struct
 end
 module Heap = CCHeap
 module Int = CCInt
+module Int32 = CCInt32  
 module Int64 = CCInt64
 module IO = CCIO
 module List = CCList