diff options
| author | Sidney Congard | 2022-08-11 18:04:10 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-08-11 18:04:10 +0200 |
| commit | e7f76a4e46f24f54e5b49efee40e33e11128f49c (patch) | |
| tree | 24a9b9abd51b36c506fbb1377a1540a79424a74e /tests/misc | |
| parent | fa491861faed3ba5ed4fe806b55bea663a29579c (diff) | |
Correct last PR remarks
Diffstat (limited to 'tests/misc')
| -rw-r--r-- | tests/misc/Constants.fst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/misc/Constants.fst b/tests/misc/Constants.fst index 5cfb82d6..4a9a0e48 100644 --- a/tests/misc/Constants.fst +++ b/tests/misc/Constants.fst @@ -31,14 +31,14 @@ let x3_body : result u32 = let x3_c : u32 = eval_global x3_body (** [constants::mk_pair0] *) -let mk_pair0_fwd (x : u32) (y0 : u32) : result (u32 & u32) = Return (x, y0) +let mk_pair0_fwd (x : u32) (y : u32) : result (u32 & u32) = Return (x, y) (** [constants::Pair] *) type pair_t (t1 t2 : Type0) = { pair_x : t1; pair_y : t2; } (** [constants::mk_pair1] *) -let mk_pair1_fwd (x : u32) (y0 : u32) : result (pair_t u32 u32) = - Return (Mkpair_t x y0) +let mk_pair1_fwd (x : u32) (y : u32) : result (pair_t u32 u32) = + Return (Mkpair_t x y) (** [constants::P0] *) let p0_body : result (u32 & u32) = |