diff options
Diffstat (limited to '')
| -rw-r--r-- | tests/lean/Hashmap/Funs.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/lean/Hashmap/Funs.lean b/tests/lean/Hashmap/Funs.lean index 17ad26f7..cb11e5cf 100644 --- a/tests/lean/Hashmap/Funs.lean +++ b/tests/lean/Hashmap/Funs.lean @@ -157,7 +157,7 @@ def HashMap.move_elements_from_list divergent def HashMap.move_elements_loop (T : Type) (ntable : HashMap T) (slots : alloc.vec.Vec (List T)) (i : Usize) : - Result ((alloc.vec.Vec (List T)) × (HashMap T)) + Result ((HashMap T) × (alloc.vec.Vec (List T))) := let i1 := alloc.vec.Vec.len (List T) slots if i < i1 |