Commit 7a682800 authored by John van Groningen's avatar John van Groningen
Browse files

remove BENrOfBasicDenots

parent 41a8ced3
......@@ -314,7 +314,7 @@ BEIntDenot:==10;
BEBoolDenot:==11;
BECharDenot:==12;
BERealDenot:==13;
BENrOfBasicDenots:==14;
BEIntegerDenot:==14;
BEStringDenot:==15;
BEFunType:==16;
BEArrayType:==17;
......
......@@ -823,7 +823,7 @@ BEIntDenot:==10;
BEBoolDenot:==11;
BECharDenot:==12;
BERealDenot:==13;
BENrOfBasicDenots:==14;
BEIntegerDenot:==14;
BEStringDenot:==15;
BEFunType:==16;
BEArrayType:==17;
......
......@@ -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,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment