diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index b1cf44a..1a53ace 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -669,7 +669,7 @@ cNonRecursiveAppl :== False /* For handling dynamics */ - | EI_Dynamic !(Optional DynamicType) + | EI_Dynamic !(Optional DynamicType) !Int | EI_DynamicType !DynamicType ![DynamicPtr] // | EI_DynamicType !DynamicType !(Optional ExprInfoPtr) |