2 files changed, 2 insertions, 2 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;