optimize Vec.{get,set}

Gbury · Jul 29, 2016 · 66707b5 · 66707b5
1 parent 6f54604
commit 66707b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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