diff options
Diffstat (limited to 'Test/dafny0/NatTypes.dfy.expect')
| -rw-r--r-- | Test/dafny0/NatTypes.dfy.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny0/NatTypes.dfy.expect b/Test/dafny0/NatTypes.dfy.expect index abc253c1..5af90253 100644 --- a/Test/dafny0/NatTypes.dfy.expect +++ b/Test/dafny0/NatTypes.dfy.expect @@ -32,9 +32,9 @@ Execution trace: NatTypes.dfy(109,45): Error: value assigned to a nat must be non-negative
Execution trace:
(0,0): anon0
- (0,0): anon7_Else
(0,0): anon8_Else
- (0,0): anon9_Then
+ (0,0): anon9_Else
+ (0,0): anon10_Then
NatTypes.dfy(132,35): Error: value assigned to a nat must be non-negative
Execution trace:
(0,0): anon0
|