diff options
Diffstat (limited to 'lib/iArray.ml')
| -rw-r--r-- | lib/iArray.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/iArray.ml b/lib/iArray.ml index 8dbe3f6c6..3cbee45b6 100644 --- a/lib/iArray.ml +++ b/lib/iArray.ml @@ -452,8 +452,6 @@ struct let get = M.get -let set = M.set - let of_array (t : 'a array) : 'a M.t = let tag = Obj.tag (Obj.repr t) in let () = if tag = Obj.double_array_tag then |