aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 459f9df..968ef13 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -714,6 +714,7 @@ cNonRecursiveAppl :== False
| PR_Constructor !SymbIdent !Int ![Expression]
| PR_GeneratedFunction !SymbIdent !Int !Index
| PR_Curried !SymbIdent !Int
+ | PR_Unused
:: InstanceInfo = II_Empty | II_Node !{! Producer} !FunctionInfoPtr !InstanceInfo !InstanceInfo