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