diff options
| author |  Jason Koenig <unknown> | 2012-06-06 15:54:48 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-06 15:54:48 -0700 |
| commit | 261f7e8767dff1537ed846825e5d95c7311feada (patch) | |
| tree | fba70c6d68bb9802a6990b067aa9f91c6c768ad1 /Source/Dafny/Dafny.atg | |
| parent | 59e17d09da40d60fa1ec94d27702a8649965a5b2 (diff) | |
Dafny: change labels to use a generic singly linked list
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 97da97e3..56eeb5b6 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -691,7 +691,7 @@ OneStmt<out Statement/*!*/ s> | ParallelStmt<out s>
| "label" (. x = t; .)
Ident<out id> ":"
- OneStmt<out s> (. s.Labels = new LabelNode(x, id.val, s.Labels); .)
+ OneStmt<out s> (. s.Labels = new LList<Label>(new Label(x, id.val), s.Labels); .)
| "break" (. x = t; breakCount = 1; label = null; .)
( Ident<out id> (. label = id.val; .)
| { "break" (. breakCount++; .)
|