aboutsummaryrefslogtreecommitdiff
path: root/backendC
diff options
context:
space:
mode:
authorjohnvg2008-12-19 12:09:51 +0000
committerjohnvg2008-12-19 12:09:51 +0000
commit3b17192deb436be794610e125b3c48507d97e8a7 (patch)
tree69406d4b4dc3521a597515e477002a52fa77e549 /backendC
parentremove NR_Of_Basic_Denots, BENrOfBasicDenots (diff)
remove BENrOfBasicDenots
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC')
-rw-r--r--backendC/CleanCompilerSources/backend.h4
1 files changed, 1 insertions, 3 deletions
diff --git a/backendC/CleanCompilerSources/backend.h b/backendC/CleanCompilerSources/backend.h
index c042903..9154f03 100644
--- a/backendC/CleanCompilerSources/backend.h
+++ b/backendC/CleanCompilerSources/backend.h
@@ -129,8 +129,7 @@ enum {
BERedIdType,
BENrOfBasicTypes,
- BEIntDenot, BEBoolDenot, BECharDenot, BERealDenot,
- BENrOfBasicDenots,
+ BEIntDenot, BEBoolDenot, BECharDenot, BERealDenot, BEIntegerDenot,
BEStringDenot,
BEFunType, BEArrayType, BEStrictArrayType, BEUnboxedArrayType, BEListType, BETupleType, BEEmptyType,
@@ -165,7 +164,6 @@ enum {
typedef int BESpecialIdentIndex;
Clean (::BESpecialIdentIndex :== Int)
enum {
- /* StdMisc */
BESpecialIdentStdMisc, BESpecialIdentAbort, BESpecialIdentUndef,
BESpecialIdentStdBool, BESpecialIdentAnd, BESpecialIdentOr,