From e19d9de6c743462b212f903120b49c7159508fac Mon Sep 17 00:00:00 2001
From: Jyotsna Prakash <moonlightdrive@users.noreply.github.com>
Date: Tue, 22 Jul 2014 10:09:22 -0700
Subject: [PATCH] `uchar` listed twice

---
 code/ctypes/ctypes.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/code/ctypes/ctypes.mli b/code/ctypes/ctypes.mli
index 732611b..6741ca7 100644
--- a/code/ctypes/ctypes.mli
+++ b/code/ctypes/ctypes.mli
@@ -15,7 +15,6 @@ val int16_t   : int typ
 val int32_t   : int32 typ
 val int64_t   : int64 typ
 val uchar     : uchar typ
-val uchar     : uchar typ
 val uint8_t   : uint8 typ
 val uint16_t  : uint16 typ
 val uint32_t  : uint32 typ