diff options
author | leino <unknown> | 2014-07-02 13:24:34 -0700 |
---|---|---|
committer | leino <unknown> | 2014-07-02 13:24:34 -0700 |
commit | c040550119028f43c8f6f6aead1844f88f2049a4 (patch) | |
tree | dd39e03ceb86d1db023983d30ecd85803b941bf2 /Test/dafny0/TypeParameters.dfy.expect | |
parent | 0bcef90b3cadb13d7cebd4394ff8bf51e95015e7 (diff) |
Allow array-type parameters to be filled in automatically.
Enhanced filling in of datatype parameters: allow places that need only a prefix of the parameters of the datatype
Diffstat (limited to 'Test/dafny0/TypeParameters.dfy.expect')
-rw-r--r-- | Test/dafny0/TypeParameters.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/TypeParameters.dfy.expect b/Test/dafny0/TypeParameters.dfy.expect index 00efc26f..3d00e89a 100644 --- a/Test/dafny0/TypeParameters.dfy.expect +++ b/Test/dafny0/TypeParameters.dfy.expect @@ -49,4 +49,4 @@ Execution trace: TypeParameters.dfy(177,3): anon21_Else
TypeParameters.dfy(177,3): anon23_Else
-Dafny program verifier finished with 58 verified, 8 errors
+Dafny program verifier finished with 63 verified, 8 errors
|