diff options
| author |  leino <unknown> | 2014-12-07 01:23:24 -0800 |
|---|---|---|
| committer | leino <unknown> | 2014-12-07 01:23:24 -0800 |
| commit | d0519ffb24c23198269a0bff1f8ed20e7c1b3f5a (patch) | |
| tree | 9e41dee147e9713a08400a0811fb782f4bb0a304 /Test/hofs | |
| parent | 3d8fd4cc56db82eb5c83f1e2061e88859f40778d (diff) | |
Finished up refactoring of the new name segment parsing, AST, and resolution.
Removed now defunct IdentifierSequence from the AST.
Diffstat (limited to 'Test/hofs')
| -rw-r--r-- | Test/hofs/Classes.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/hofs/Classes.dfy.expect b/Test/hofs/Classes.dfy.expect index 84a0417e..3c933bae 100644 --- a/Test/hofs/Classes.dfy.expect +++ b/Test/hofs/Classes.dfy.expect @@ -1,4 +1,4 @@ -Classes.dfy(41,5): Error: possible violation of function precondition
+Classes.dfy(41,6): Error: possible violation of function precondition
Execution trace:
(0,0): anon0
(0,0): anon11_Then
|