From 66707b58fcb981b2b489e2fe727f9cbd21e15133 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 29 Jul 2016 23:43:06 +0200
Subject: [PATCH] optimize `Vec.{get,set}`

---
 src/util/vec.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/vec.ml b/src/util/vec.ml
index b8cfa63f..c9df846e 100644
--- a/src/util/vec.ml
+++ b/src/util/vec.ml
@@ -95,14 +95,14 @@ let last t =
 
 let get t i =
   if i < 0 || i >= t.sz then invalid_arg "vec.get";
-  Array.get t.data i
+  Array.unsafe_get t.data i
 
 let set t i v =
   if i < 0 || i > t.sz then invalid_arg "vec.set";
   if i = t.sz then
     push t v
   else
-    Array.set t.data i v
+    Array.unsafe_set t.data i v
 
 let copy t =
   let data = Array.copy t.data in