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
---
 backendC/CleanCompilerSources/backend.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'backendC/CleanCompilerSources')

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