diff options
Diffstat (limited to '')
| -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) = |