diff options
author | leino <unknown> | 2015-01-07 11:16:18 -0800 |
---|---|---|
committer | leino <unknown> | 2015-01-07 11:16:18 -0800 |
commit | 2e68bc2f862a9230056b0a5db59228fbce2d78ab (patch) | |
tree | a9eeda2fade5ec0ef46ff155c3adf7baf529b9ee /Test/dafny0/OpaqueFunctions.dfy.expect | |
parent | 57d62186efa929c0623a69453c8e4196ac9803a4 (diff) |
Fixed bug in opaque functions with type parameters
Diffstat (limited to 'Test/dafny0/OpaqueFunctions.dfy.expect')
-rw-r--r-- | Test/dafny0/OpaqueFunctions.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/OpaqueFunctions.dfy.expect b/Test/dafny0/OpaqueFunctions.dfy.expect index 3aa09714..2fb1701f 100644 --- a/Test/dafny0/OpaqueFunctions.dfy.expect +++ b/Test/dafny0/OpaqueFunctions.dfy.expect @@ -84,4 +84,4 @@ OpaqueFunctions.dfy(185,20): Error: assertion violation Execution trace:
(0,0): anon0
-Dafny program verifier finished with 59 verified, 23 errors
+Dafny program verifier finished with 64 verified, 23 errors
|