diff options
Diffstat (limited to 'backend/backend.dcl')
| -rw-r--r-- | backend/backend.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index cc5f0a6..50d9e8e 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -365,7 +365,7 @@ BESpecialIdentUndef:==2; BESpecialIdentStdBool:==3; BESpecialIdentAnd:==4; BESpecialIdentOr:==5; -BESpecialIdentCount:==6; +BESpecialIdentCount:==8; BELhsNodeId:==0; BERhsNodeId:==1; BEIsNotACaf:==0; |