diff options
author | Son Ho | 2024-03-11 09:43:21 +0100 |
---|---|---|
committer | Son Ho | 2024-03-11 09:43:21 +0100 |
commit | bf0b35b9b1fa90d50587e906432077b63a9ad34d (patch) | |
tree | 76507daab5827cdca8f75aea975deb5d0b9aed2f /tests/fstar/misc/NoNestedBorrows.fst | |
parent | 5af8412b48aef44448d3ce674612aa18feb961b3 (diff) |
Update the generated files
Diffstat (limited to 'tests/fstar/misc/NoNestedBorrows.fst')
-rw-r--r-- | tests/fstar/misc/NoNestedBorrows.fst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/fstar/misc/NoNestedBorrows.fst b/tests/fstar/misc/NoNestedBorrows.fst index ffcc32f3..c71f8dbb 100644 --- a/tests/fstar/misc/NoNestedBorrows.fst +++ b/tests/fstar/misc/NoNestedBorrows.fst @@ -131,12 +131,12 @@ let mix_arith_i32 (x : i32) (y : i32) (z : i32) : result i32 = (** [no_nested_borrows::CONST0] Source: 'src/no_nested_borrows.rs', lines 125:0-125:23 *) let const0_body : result usize = usize_add 1 1 -let const0_c : usize = eval_global const0_body +let const0 : usize = eval_global const0_body (** [no_nested_borrows::CONST1] Source: 'src/no_nested_borrows.rs', lines 126:0-126:23 *) let const1_body : result usize = usize_mul 2 2 -let const1_c : usize = eval_global const1_body +let const1 : usize = eval_global const1_body (** [no_nested_borrows::cast_u32_to_i32]: Source: 'src/no_nested_borrows.rs', lines 128:0-128:37 *) |