diff options
| author | Son Ho | 2024-03-11 10:20:15 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-11 10:20:15 +0100 |
| commit | 21fdbab049534b35e9573da89bdfd5942144cbb9 (patch) | |
| tree | dad9a9571e70edf75988a6d3b500e8234a040b3e /tests/fstar/demo | |
| parent | 82ccc781db0ba1df22f598ad1243fa53dc843320 (diff) | |
Regenerate the test files
Diffstat (limited to 'tests/fstar/demo')
| -rw-r--r-- | tests/fstar/demo/Demo.fst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/fstar/demo/Demo.fst b/tests/fstar/demo/Demo.fst index 22322ee7..d13d2ba3 100644 --- a/tests/fstar/demo/Demo.fst +++ b/tests/fstar/demo/Demo.fst @@ -133,6 +133,6 @@ let counterUsize : counter_t usize = { incr = counterUsize_incr; } (** [demo::use_counter]: Source: 'src/demo.rs', lines 95:0-95:59 *) let use_counter - (t : Type0) (counterTInst : counter_t t) (cnt : t) : result (usize & t) = - counterTInst.incr cnt + (t : Type0) (counterInst : counter_t t) (cnt : t) : result (usize & t) = + counterInst.incr cnt |