diff options
Diffstat (limited to 'src/comp/front/ast.rs')
| -rw-r--r-- | src/comp/front/ast.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs index 95522c0c..2fd13194 100644 --- a/src/comp/front/ast.rs +++ b/src/comp/front/ast.rs @@ -22,8 +22,8 @@ type ty_param = ident; // Annotations added during successive passes. tag ann { ann_none; - ann_type(@middle.ty.t, - option.t[vec[@middle.ty.t]], /* ty param substs */ + ann_type(middle.ty.t, + option.t[vec[middle.ty.t]], /* ty param substs */ option.t[@ts_ann]); /* pre- and postcondition for typestate */ } |