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.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/backend.icl')

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;
-- 
cgit v1.2.3