aboutsummaryrefslogtreecommitdiff
path: root/backend
diff options
context:
space:
mode:
authorjohnvg2011-01-24 14:37:05 +0000
committerjohnvg2011-01-24 14:37:05 +0000
commit1cb9d3a73c894b4900711570123cf5abb5204599 (patch)
tree4d415974ad38e020eacd6a4e84f0154da19d573e /backend
parentuse 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.dcl2
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;