diff options
Diffstat (limited to 'Test/dafny2')
| -rw-r--r-- | Test/dafny2/Calculations.dfy | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/dafny2/Calculations.dfy b/Test/dafny2/Calculations.dfy index 777be464..c637147a 100644 --- a/Test/dafny2/Calculations.dfy +++ b/Test/dafny2/Calculations.dfy @@ -143,13 +143,14 @@ ghost method Lemma_Fib() calc {
Fib(5);
Fib(4) + Fib(3);
+ <
calc {
Fib(2);
Fib(0) + Fib(1);
0 + 1;
1;
}
- < 6;
+ 6;
}
}
|