diff options
author | johnvg | 2011-01-24 14:37:05 +0000 |
---|---|---|
committer | johnvg | 2011-01-24 14:37:05 +0000 |
commit | 1cb9d3a73c894b4900711570123cf5abb5204599 (patch) | |
tree | 4d415974ad38e020eacd6a4e84f0154da19d573e /backend | |
parent | use p instead of I for pointers in ccall (diff) |
change BESpecialIdentCount
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1823 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
-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; |