1 files changed, 30 insertions, 30 deletions
diff --git a/compiler/Extract.ml b/compiler/Extract.ml
index 297c182a..c4238d83 100644
--- a/compiler/Extract.ml
+++ b/compiler/Extract.ml
@@ -329,21 +329,21 @@ let assumed_llbc_functions () :
         (VecIndex, rg0, "vec_index_back") (* shouldn't be used *);
         (VecIndexMut, None, "vec_index_mut_fwd");
         (VecIndexMut, rg0, "vec_index_mut_back");
-        (ArraySharedIndex, None, "array_index_shared");
-        (ArrayMutIndex, None, "array_index_mut_fwd");
-        (ArrayMutIndex, rg0, "array_index_mut_back");
-        (ArrayToSharedSlice, None, "array_to_slice_shared");
-        (ArrayToMutSlice, None, "array_to_slice_mut_fwd");
-        (ArrayToMutSlice, rg0, "array_to_slice_mut_back");
-        (ArraySharedSubslice, None, "array_subslice_shared");
-        (ArrayMutSubslice, None, "array_subslice_mut_fwd");
-        (ArrayMutSubslice, rg0, "array_subslice_mut_back");
-        (SliceSharedIndex, None, "slice_index_shared");
-        (SliceMutIndex, None, "slice_index_mut_fwd");
-        (SliceMutIndex, rg0, "slice_index_mut_back");
-        (SliceSharedSubslice, None, "slice_subslice_shared");
-        (SliceMutSubslice, None, "slice_subslice_mut_fwd");
-        (SliceMutSubslice, rg0, "slice_subslice_mut_back");
+        (ArrayIndexShared, None, "array_index_shared");
+        (ArrayIndexMut, None, "array_index_mut_fwd");
+        (ArrayIndexMut, rg0, "array_index_mut_back");
+        (ArrayToSliceShared, None, "array_to_slice_shared");
+        (ArrayToSliceMut, None, "array_to_slice_mut_fwd");
+        (ArrayToSliceMut, rg0, "array_to_slice_mut_back");
+        (ArraySubsliceShared, None, "array_subslice_shared");
+        (ArraySubsliceMut, None, "array_subslice_mut_fwd");
+        (ArraySubsliceMut, rg0, "array_subslice_mut_back");
+        (SliceIndexShared, None, "slice_index_shared");
+        (SliceIndexMut, None, "slice_index_mut_fwd");
+        (SliceIndexMut, rg0, "slice_index_mut_back");
+        (SliceSubsliceShared, None, "slice_subslice_shared");
+        (SliceSubsliceMut, None, "slice_subslice_mut_fwd");
+        (SliceSubsliceMut, rg0, "slice_subslice_mut_back");
         (SliceLen, None, "slice_len");
       ]
   | Lean ->
@@ -360,21 +360,21 @@ let assumed_llbc_functions () :
         (VecIndex, rg0, "Vec.index_shared_back") (* shouldn't be used *);
         (VecIndexMut, None, "Vec.index_mut");
         (VecIndexMut, rg0, "Vec.index_mut_back");
-        (ArraySharedIndex, None, "Array.index_shared");
-        (ArrayMutIndex, None, "Array.index_mut");
-        (ArrayMutIndex, rg0, "Array.index_mut_back");
-        (ArrayToSharedSlice, None, "Array.to_slice_shared");
-        (ArrayToMutSlice, None, "Array.to_slice_mut");
-        (ArrayToMutSlice, rg0, "Array.to_slice_mut_back");
-        (ArraySharedSubslice, None, "Array.subslice_shared");
-        (ArrayMutSubslice, None, "Array.subslice_mut");
-        (ArrayMutSubslice, rg0, "Array.subslice_mut_back");
-        (SliceSharedIndex, None, "Slice.index_shared");
-        (SliceMutIndex, None, "Slice.index_mut");
-        (SliceMutIndex, rg0, "Slice.index_mut_back");
-        (SliceSharedSubslice, None, "Slice.subslice_shared");
-        (SliceMutSubslice, None, "Slice.subslice_mut");
-        (SliceMutSubslice, rg0, "Slice.subslice_mut_back");
+        (ArrayIndexShared, None, "Array.index_shared");
+        (ArrayIndexMut, None, "Array.index_mut");
+        (ArrayIndexMut, rg0, "Array.index_mut_back");
+        (ArrayToSliceShared, None, "Array.to_slice_shared");
+        (ArrayToSliceMut, None, "Array.to_slice_mut");
+        (ArrayToSliceMut, rg0, "Array.to_slice_mut_back");
+        (ArraySubsliceShared, None, "Array.subslice_shared");
+        (ArraySubsliceMut, None, "Array.subslice_mut");
+        (ArraySubsliceMut, rg0, "Array.subslice_mut_back");
+        (SliceIndexShared, None, "Slice.index_shared");
+        (SliceIndexMut, None, "Slice.index_mut");
+        (SliceIndexMut, rg0, "Slice.index_mut_back");
+        (SliceSubsliceShared, None, "Slice.subslice_shared");
+        (SliceSubsliceMut, None, "Slice.subslice_mut");
+        (SliceSubsliceMut, rg0, "Slice.subslice_mut_back");
         (SliceLen, None, "Slice.len");
       ]