From 3b17192deb436be794610e125b3c48507d97e8a7 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 19 Dec 2008 12:09:51 +0000
Subject: remove BENrOfBasicDenots

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backend/backend.dcl                     | 2 +-
 backend/backend.icl                     | 2 +-
 backendC/CleanCompilerSources/backend.h | 4 +---
 3 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/backend/backend.dcl b/backend/backend.dcl
index 635b24b..cc5f0a6 100644
--- a/backend/backend.dcl
+++ b/backend/backend.dcl
@@ -314,7 +314,7 @@ BEIntDenot:==10;
 BEBoolDenot:==11;
 BECharDenot:==12;
 BERealDenot:==13;
-BENrOfBasicDenots:==14;
+BEIntegerDenot:==14;
 BEStringDenot:==15;
 BEFunType:==16;
 BEArrayType:==17;
diff --git a/backend/backend.icl b/backend/backend.icl
index fd99c88..e0bb73f 100644
--- a/backend/backend.icl
+++ b/backend/backend.icl
@@ -823,7 +823,7 @@ BEIntDenot:==10;
 BEBoolDenot:==11;
 BECharDenot:==12;
 BERealDenot:==13;
-BENrOfBasicDenots:==14;
+BEIntegerDenot:==14;
 BEStringDenot:==15;
 BEFunType:==16;
 BEArrayType:==17;
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,
 
-- 
cgit v1.2.3