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/lean/Demo | |
| parent | 82ccc781db0ba1df22f598ad1243fa53dc843320 (diff) | |
Regenerate the test files
Diffstat (limited to 'tests/lean/Demo')
| -rw-r--r-- | tests/lean/Demo/Demo.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/lean/Demo/Demo.lean b/tests/lean/Demo/Demo.lean index b6a4a797..854b4853 100644 --- a/tests/lean/Demo/Demo.lean +++ b/tests/lean/Demo/Demo.lean @@ -142,7 +142,7 @@ def CounterUsize : Counter Usize := { /- [demo::use_counter]: Source: 'src/demo.rs', lines 95:0-95:59 -/ def use_counter - (T : Type) (CounterTInst : Counter T) (cnt : T) : Result (Usize × T) := - CounterTInst.incr cnt + (T : Type) (CounterInst : Counter T) (cnt : T) : Result (Usize × T) := + CounterInst.incr cnt end demo |