diff options
| author | Son Ho | 2023-11-21 11:40:59 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-21 11:40:59 +0100 |
| commit | 5e92ae6b361f9221f5c5f9a39ab4c28a36597a77 (patch) | |
| tree | c10596aff88b97b1ba496d08236f20084f8da08b /tests/fstar/misc/Constants.fst | |
| parent | 00882b8fe6d8ef1d9b7a03cd5949f909d58a2da9 (diff) | |
Regenerate most of the test files
Diffstat (limited to '')
| -rw-r--r-- | tests/fstar/misc/Constants.fst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fstar/misc/Constants.fst b/tests/fstar/misc/Constants.fst index c21d6a5f..2f2fccdb 100644 --- a/tests/fstar/misc/Constants.fst +++ b/tests/fstar/misc/Constants.fst @@ -55,7 +55,7 @@ let p3_c : pair_t u32 u32 = eval_global p3_body (** [constants::Wrap] *) type wrap_t (t : Type0) = { value : t; } -(** [constants::Wrap::{0}::new]: forward function *) +(** [constants::{constants::Wrap<T>}::new]: forward function *) let wrap_new (t : Type0) (value : t) : result (wrap_t t) = Return { value = value } |